4326 search results for "author:" ""

Showing 4301 - 4326
  1. A library for hierarchical names and lexical scoping
    5.2.0
    Apache-2.0
    Used by 1 other packages
    07 Nov 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.13
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 128 other packages
    20 Jul 2023
  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.16.1
    MIT
    Used by 17 other packages
    13 Nov 2023
  8. Binding to ZBar (QR-code scanning library)
    0.9
    Used by 0 other packages
    21 Nov 2013
  9. Abstract engine for text edition in OCaml
    3.2.3
    BSD-3-Clause
    Used by 6 other packages
    22 Aug 2023
  10. 0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  11. 2.2
    INRIA Non-Commercial License Agreement
    Used by 1 other packages
    21 Jun 2021
  12. 2.2
    INRIA Non-Commercial License Agreement
    Used by 0 other packages
    21 Jun 2021
  13. An Extensible Automated Theorem Prover Producing Checkable Proofs
    0.8.5
    Used by 0 other packages
    23 Oct 2020
  14. 0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024
  15. zero

    No documentation

    Deprecated, merged into core_kernel
    109.28.00
    Apache-2.0
    Used by 0 other packages
    21 Nov 2013
  16. 0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024
  17. 2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  18. 2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  19. Bindings to the zlib compression library
    0.6
    ISC
    Used by 1 other packages
    13 Apr 2019
  20. 0.5.0
    Apache-2.0
    Used by 0 other packages
    04 Apr 2021
  21. 5.3.0
    MIT
    Used by 11 other packages
    08 Apr 2024
  22. Async-aware bindings to ZMQ
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  23. Eio aware bindings to ZMQ
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  24. Lwt-aware bindings to ZMQ
    5.3.0
    MIT
    Used by 2 other packages
    08 Apr 2024
  25. OCaml bindings to Zstandard
    v0.16.0
    MIT
    Used by 1 other packages
    14 Jun 2023
  26. Bindings for the zxcvbn password strength estimation library
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2020