4541 search results for "author:" ""

Showing 3651 - 3700
  1. simple-diff
    Documentation
    Simple_diff is a pure OCaml diffing algorithm.
    Gabriel Jaldon
    0.3
    ISC
    Used by 0 other packages
    08 Feb 2017
  2. simple63
    Documentation
    Integer compression and decompression module
    Mika Illouz
    1
    BSD
    Used by 0 other packages
    13 Sep 2020
  3. sitemap
    Documentation
    Generate XML sitemaps
    Anil Madhavapeddy <anil@recoil.org>
    1.0
    ISC
    Used by 0 other packages
    24 Jun 2024
  4. skkserv-lite
    Documentation
    SKK server using sqlite3 dictionaries
    INAJIMA Daisuke <inajima@sopht.jp>
    2.0.1
    MIT
    Used by 0 other packages
    11 Oct 2015
  5. sklearn
    Documentation
    Scikit-learn machine learning library for OCaml
    Ronan Le Hy
    sk0.23-0.3.1
    BSD-3-Clause
    Used by 1 other packages
    08 Dec 2020
  6. slack
    Documentation
    Slack API implementation
    Ahrefs <github@ahrefs.com>
    0.1
    MIT
    Used by 0 other packages
    20 Mar 2024
  7. slack-backup

    No documentation

    Small tool to backup IM and channels from slack.
    Louis Roché <louis@louisroche.net>
    0.1
    MIT
    Used by 0 other packages
    27 Apr 2016
  8. slacko
    Documentation
    Type-safe binding to the Slack API
    Marek Kubica <marek@xivilization.net>
    0.15.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Feb 2019
  9. slap
    Documentation
    A linear algebra library with static size checking for matrix operations
    Akinori ABE <abe@sf.ecei.tohoku.ac.jp>
    4.1.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Jul 2020
  10. slug
    Documentation
    Url safe slug generator
    Khoa Nguyen
    1.0.1
    MIT
    Used by 1 other packages
    18 Jul 2021
  11. smart-print
    Documentation
    A pretty-printing library in OCaml
    Guillaume Claret <dev@clarus.me>
    0.3.0
    BSD-3-Clause
    Used by 3 other packages
    16 Jun 2020
  12. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  13. smol
    Documentation
    Small Math Ocaml Library
    Lucas Randazzo
    0.0.1
    MIT
    Used by 2 other packages
    18 Oct 2021
  14. smol-helpers
    Documentation
    Test helpers for smol
    Lucas Randazzo
    0.0.1
    MIT
    Used by 1 other packages
    18 Oct 2021
  15. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  16. smtml
    Documentation
    A Front-end library for SMT solvers in OCaml
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
    0.2.5
    GPL-3.0-only
    Used by 1 other packages
    21 Aug 2024
  17. smtp
    Documentation
    SMTP library with Unix and Lwt backends
    smtp
    Vincent Bernardoff <vb@luminar.eu.org>
    0.3
    ISC
    Used by 0 other packages
    09 Sep 2016
  18. snoke
    Documentation
    Snóke is a good old Snake game with new ideas
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.3
    GPL-3.0-or-later
    Used by 0 other packages
    17 Nov 2022
  19. so
    Documentation
    Open file depending on their extension
    Léo Andrès <contact@ndrs.fr>
    0.0.1
    ISC
    Used by 0 other packages
    26 Nov 2019
  20. socialpeek

    No documentation

    OCaml library to extract social information such as Twitter cards or OpenGraph data from webpages and HTML.
    Miguel Molina <miguel@erizocosmi.co>
    1.0.0
    MIT
    Used by 0 other packages
    11 Jan 2018
  21. sociaml-facebook-api

    No documentation

    Facebook Graph API Client Library for OCaml
    Dominic Price
    0.4.1
    ISC
    Used by 0 other packages
    25 Jun 2015
  22. sociaml-oauth-client

    No documentation

    OAuth Client Library for Ocaml
    Dominic Price
    0.5.0
    ISC
    Used by 1 other packages
    18 Nov 2014
  23. sociaml-tumblr-api

    No documentation

    Tumblr API Client Library for OCaml
    Dominic Price
    0.2.0
    ISC
    Used by 0 other packages
    20 Nov 2014
  24. sociaml-vcard

    No documentation

    vCard library for OCaml
    Dominic Price
    0.2.1
    ISC
    Used by 0 other packages
    20 Nov 2014
  25. socket-daemon
    Documentation
    Create daemons listening to a socket for stop, restart, ..., orders
    socket daemon unix
    Maxence Guesdon
    0.3.0
    GPL-3.0-only
    Used by 0 other packages
    18 Aug 2016
  26. socketcan
    Documentation
    socketcan
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.12-0
    MIT
    Used by 0 other packages
    09 Nov 2017
  27. sodium
    Documentation
    Binding to libsodium UNAUDITED
    org:mirage
    David Sheets <sheets@alum.mit.edu> Peter Zotov <whitequark@whitequark.org> Benjamin Canou <benjamin@ocamlpro.com>
    0.6.0
    Used by 2 other packages
    18 Apr 2017
  28. sodium-fmt
    Documentation
    Fmt formatters for Sodium
    Victor Schubert
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    20 Apr 2022
  29. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.2.0
    LGPL-3.0-only
    Used by 2 other packages
    01 Jun 2024
  30. solid_server

    No documentation

    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.2.0
    LGPL-3.0-only
    Used by 0 other packages
    01 Jun 2024
  31. solid_tools

    No documentation

    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.2.0
    LGPL-3.0-only
    Used by 0 other packages
    01 Jun 2024
  32. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  33. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  34. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  35. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  36. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  37. solo5
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.8.1
    ISC
    Used by 5 other packages
    09 Apr 2024
  38. solo5-bindings-genode

    No documentation

    Solo5 sandboxed execution environment (genode target)
    Emery Hemingway <ehmry@posteo.net>
    0.6.4
    ISC
    Used by 2 other packages
    14 Nov 2019
  39. solo5-bindings-hvt

    No documentation

    Solo5 sandboxed execution environment (hvt target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  40. solo5-bindings-muen

    No documentation

    Solo5 sandboxed execution environment (muen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  41. solo5-bindings-spt

    No documentation

    Solo5 sandboxed execution environment (spt target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  42. solo5-bindings-virtio

    No documentation

    Solo5 sandboxed execution environment (virtio target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  43. solo5-bindings-xen

    No documentation

    Solo5 sandboxed execution environment (xen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  44. solo5-cross-aarch64
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.8.1
    ISC
    Used by 2 other packages
    09 Apr 2024
  45. solo5-elftool
    Documentation
    OCaml Solo5 elftool for querying solo5 manifests
    Reynir Björnsson <reynir@reynir.dk>
    0.3.1
    BSD-2-Clause
    Used by 2 other packages
    16 Mar 2022
  46. solo5-kernel-muen

    No documentation

    Solo5 sandboxed execution environment (muen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 2 other packages
    10 Aug 2018
  47. solo5-kernel-ukvm

    No documentation

    Solo5 sandboxed execution environment (ukvm target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 2 other packages
    10 Aug 2018
  48. solo5-kernel-virtio

    No documentation

    Solo5 sandboxed execution environment (virtio target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 2 other packages
    10 Aug 2018
  49. sortedseq_intersect
    Documentation
    A divide-and-conquer algorithm to intersect sorted sequences
    Fermin Reig
    0.2.0
    MIT
    Used by 0 other packages
    21 Jun 2022
  50. sosa
    Documentation
    Sane OCaml String API
    Sebastien Mondet <seb@mondet.org> Leonid Rozenberg <leonidr@gmail.com> Isaac Hodes <isaachodes@gmail.com> Jeff Hammerbacher <jeff.hammerbacher@gmail.com>
    0.3.0
    Used by 9 other packages
    25 Aug 2017
... 73 74 75 ... 91