4497 search results for ""

Showing 3751 - 3800
  1. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  2. simple-diff
    Documentation
    Simple_diff is a pure OCaml diffing algorithm.
    Gabriel Jaldon
    0.3
    ISC
    Used by 0 other packages
    08 Feb 2017
  3. simple63
    Documentation
    Integer compression and decompression module
    Mika Illouz
    1
    BSD
    Used by 0 other packages
    13 Sep 2020
  4. simple_pam
    Documentation
    Tiny binding around PAM
    0.1.2
    Used by 0 other packages
    21 Nov 2013
  5. sitemap
    Documentation
    Generate XML sitemaps
    Anil Madhavapeddy <anil@recoil.org>
    1.0
    ISC
    Used by 0 other packages
    24 Jun 2024
  6. 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
  7. slack
    Documentation
    Slack API implementation
    Ahrefs <github@ahrefs.com>
    0.1
    MIT
    Used by 0 other packages
    20 Mar 2024
  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. slice

    No documentation

    A Slice type for bigstrings and bytes
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1
    MIT
    Used by 1 other packages
    28 Apr 2025
  11. slipshow

    No documentation

    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.2.0
    GPL-3.0-or-later
    Used by 0 other packages
    15 Apr 2025
  12. slug
    Documentation
    Url safe slug generator
    Khoa Nguyen
    1.0.1
    MIT
    Used by 2 other packages
    18 Jul 2021
  13. 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
  14. smaws-clients
    Documentation
    Amazon Web Services SDK clients using EIO
    Chris Armstrong
    0.1~preview1
    MIT
    Used by 0 other packages
    19 Nov 2024
  15. smaws-lib
    Documentation
    Support library for AWS SDKs generated from Smithy definitions
    Chris Armstrong
    0.1~preview1
    MIT
    Used by 1 other packages
    19 Nov 2024
  16. 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
  17. smol
    Documentation
    Small Math Ocaml Library
    Lucas Randazzo
    0.0.1
    MIT
    Used by 2 other packages
    18 Oct 2021
  18. smol-helpers
    Documentation
    Test helpers for smol
    Lucas Randazzo
    0.0.1
    MIT
    Used by 1 other packages
    18 Oct 2021
  19. 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
  20. smtml

    No documentation

    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.7.0
    MIT
    Used by 1 other packages
    08 May 2025
  21. 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
  22. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    19 Feb 2020
  23. 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
  24. 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
  25. socketcan
    Documentation
    socketcan
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.12-0
    MIT
    Used by 0 other packages
    09 Nov 2017
  26. 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 1 other packages
    18 Apr 2017
  27. 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
  28. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.4.0
    LGPL-3.0-only
    Used by 2 other packages
    19 Dec 2024
  29. solid_server
    Documentation
    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.4.0
    LGPL-3.0-only
    Used by 0 other packages
    19 Dec 2024
  30. solid_tools
    Documentation
    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.4.0
    LGPL-3.0-only
    Used by 0 other packages
    19 Dec 2024
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. solo5
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.9.1
    ISC
    Used by 5 other packages
    06 Mar 2025
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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.9.1
    ISC
    Used by 2 other packages
    06 Mar 2025
  43. solo5-elftool
    Documentation
    OCaml Solo5 elftool for querying solo5 manifests
    Reynir Björnsson <reynir@reynir.dk>
    0.4.0
    BSD-2-Clause
    Used by 1 other packages
    05 Feb 2025
  44. 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 1 other packages
    10 Aug 2018
  45. 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 1 other packages
    10 Aug 2018
  46. 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 1 other packages
    10 Aug 2018
  47. 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
  48. 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 6 other packages
    25 Aug 2017
  49. soundtouch
    Documentation
    Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.9
    LGPL-2.1-only
    Used by 0 other packages
    03 Dec 2020
  50. soupault
    Documentation
    Static website generator based on HTML rewriting
    Daniil Baturin <daniil+soupault@baturin.org>
    4.11.0
    MIT
    Used by 0 other packages
    06 Sep 2024
... 75 76 77 ... 90