4882 search results for ""

Showing 4851 - 4882
  1. OCaml linter experiment
    1.0.0
    LGPL-3.0-only
    Used by 0 other packages
    24 Mar 2023
  2. Formally verified sampling from discrete probability distributions
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  3. Implements arithmetic and logical operations over arbitrary-precision integers
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 130 other packages
    15 Jul 2024
  4. zarith-freestanding

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

    5.3.0
    MIT
    Used by 11 other packages
    08 Apr 2024
  27. Async-aware bindings to ZMQ
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  28. Eio aware bindings to ZMQ
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  29. Lwt-aware bindings to ZMQ
    5.3.0
    MIT
    Used by 2 other packages
    08 Apr 2024
  30. OCaml bindings to Zstandard
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  31. Bindings to zstd compression library
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
  32. Bindings for the zxcvbn password strength estimation library
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2020