4713 search results for ""

Showing 4701 - 4713
  1. zenon_modulo
    Documentation
    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  2. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  3. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  4. zipperposition-tools
    Documentation
    Support tools for Zipperposition
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  5. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    Added to opam-repository
  6. zlist
    Documentation
    Lazy lists for OCaml
    Jesse Haber-Kucharsky <jesse@haber-kucharsky.com>
    0.5.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  7. zmq
    Documentation
    OCaml bindings for ZeroMQ 4.x
    Anders Fugmann Pedro Borges Peter Zotov
    6.0.0
    MIT
    Used by 9 other packages
    Added to opam-repository
  8. zmq-async
    Documentation
    Async-aware bindings to ZMQ
    Rudi Grinberg
    6.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. zmq-eio
    Documentation
    Eio aware bindings to ZMQ
    Anders Fugmann
    6.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. zmq-lwt
    Documentation
    Lwt-aware bindings to ZMQ
    Anders Fugmann <anders@fugmann.net>
    6.0.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  11. zstandard

    No documentation

    OCaml bindings to Zstandard
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  12. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  13. zxcvbn
    Documentation
    Bindings for the zxcvbn password strength estimation library
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
... 93 94 95