4938 search results for ""

Showing 4901 - 4938
  1. Simple Sqlite3. Yojson+Sqlite3 amalgamation
    0.2
    MIT
    Used by 0 other packages
    22 Oct 2024
  2. An HTTP framework for OCaml
    0.6
    ISC
    Used by 0 other packages
    31 Aug 2018
  3. 0.3.0
    MIT
    Used by 1 other packages
    14 Mar 2020
  4. A library for hierarchical names and lexical scoping
    5.2.0
    Apache-2.0
    Used by 1 other packages
    07 Nov 2023
  5. Z3 solver
    4.13.3
    MIT
    Used by 8 other packages
    22 Oct 2024
  6. TPTP front end for Z3 solver
    4.11.2
    MIT
    Used by 0 other packages
    09 Mar 2023
  7. OCaml linter experiment
    1.0.0
    LGPL-3.0-only
    Used by 0 other packages
    24 Mar 2023
  8. Formally verified sampling from discrete probability distributions
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  9. Implements arithmetic and logical operations over arbitrary-precision integers
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 131 other packages
    15 Jul 2024
  10. zarith-freestanding

    No documentation

    Implements arithmetic and logical operations over arbitrary-precision integers
    1.12
    Used by 2 other packages
    03 Mar 2021
  11. Literals for Zarith's arbitrary-precision integers and rationals
    0.1
    Used by 0 other packages
    19 Mar 2019
  12. Implements arithmetic and logical operations over arbitrary-precision integers
    1.7
    Used by 2 other packages
    16 Oct 2017
  13. Javascripts stubs for the Zarith library
    v0.17.0
    MIT
    Used by 17 other packages
    26 May 2024
  14. An Ocaml implementation of the Zarr V3 specification
    0.1.0
    BSD-3-Clause
    Used by 3 other packages
    07 Sep 2024
  15. Eio-aware API for Zarr
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  16. Lwt-aware API for Zarr
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  17. Synchronous API for Zarr
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  18. Binding to ZBar (QR-code scanning library)
    0.9
    Used by 0 other packages
    21 Nov 2013
  19. Abstract engine for text edition in OCaml
    3.2.3
    BSD-3-Clause
    Used by 6 other packages
    22 Aug 2023
  20. 0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  21. 2.2
    INRIA Non-Commercial License Agreement
    Used by 1 other packages
    21 Jun 2021
  22. 2.2
    INRIA Non-Commercial License Agreement
    Used by 0 other packages
    21 Jun 2021
  23. An Extensible Automated Theorem Prover Producing Checkable Proofs
    0.8.5
    Used by 0 other packages
    23 Oct 2020
  24. 0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024
  25. zephyrus

    No documentation

    Zephyrus automatic configuration generation tool.
    0.1
    Used by 0 other packages
    21 Nov 2013
  26. zero

    No documentation

    Deprecated, merged into core_kernel
    109.28.00
    Apache-2.0
    Used by 0 other packages
    21 Nov 2013
  27. 0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024
  28. 2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  29. 2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  30. Bindings to the zlib compression library
    0.8
    ISC
    Used by 1 other packages
    05 Jun 2024
  31. 0.5.0
    Apache-2.0
    Used by 0 other packages
    04 Apr 2021
  32. zmq

    No documentation

    5.3.0
    MIT
    Used by 11 other packages
    08 Apr 2024
  33. Async-aware bindings to ZMQ
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  34. Eio aware bindings to ZMQ
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  35. Lwt-aware bindings to ZMQ
    5.3.0
    MIT
    Used by 2 other packages
    08 Apr 2024
  36. OCaml bindings to Zstandard
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  37. Bindings to zstd compression library
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
  38. Bindings for the zxcvbn password strength estimation library
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2020