4269 search results for "author:" ""

Showing 4251 - 4269
  1. zbar
    Documentation
    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    21 Nov 2013
  2. zdd
    Documentation
    Implementation of ZDDs, as well as upward-closed and downward-closed set families
    Benoît Montagu <benoit.montagu@inria.fr>
    0.5
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Mar 2025
  3. zed
    Documentation
    Abstract engine for text edition in OCaml
    Jérémie Dimino
    3.2.3
    BSD-3-Clause
    Used by 6 other packages
    22 Aug 2023
  4. zeit
    Documentation
    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  5. zelus
    Documentation
    A synchronous language with ODEs
    Timothy Bourke <timothy.bourke@inria.fr> Marc Pouzet <marc.pouzet@ens.fr>
    2.2
    INRIA Non-Commercial License Agreement
    Used by 1 other packages
    21 Jun 2021
  6. zelus-gtk
    Documentation
    Zelus GTK library
    Timothy Bourke <timothy.bourke@inria.fr> Marc Pouzet <marc.pouzet@ens.fr>
    2.2
    INRIA Non-Commercial License Agreement
    Used by 0 other packages
    21 Jun 2021
  7. zenon
    Documentation
    An Extensible Automated Theorem Prover Producing Checkable Proofs
    R. Bonichon D. Delahaye D. Doligez
    0.8.5
    Used by 0 other packages
    23 Oct 2020
  8. zenon_modulo
    Documentation
    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024
  9. 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
    24 Jan 2024
  10. 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
    05 Sep 2021
  11. 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
    05 Sep 2021
  12. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    05 Jun 2024
  13. zlist
    Documentation
    Lazy lists for OCaml
    Jesse Haber-Kucharsky <jesse@haber-kucharsky.com>
    0.5.0
    Apache-2.0
    Used by 0 other packages
    04 Apr 2021
  14. zmq
    Documentation
    OCaml bindings for ZeroMQ 4.x
    Anders Fugmann Pedro Borges Peter Zotov
    5.3.0
    MIT
    Used by 9 other packages
    08 Apr 2024
  15. zmq-async
    Documentation
    Async-aware bindings to ZMQ
    Rudi Grinberg
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  16. zmq-eio
    Documentation
    Eio aware bindings to ZMQ
    Anders Fugmann
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  17. zmq-lwt

    No documentation

    Lwt-aware bindings to ZMQ
    Anders Fugmann <anders@fugmann.net>
    5.3.0
    MIT
    Used by 2 other packages
    08 Apr 2024
  18. zstandard
    Documentation
    OCaml bindings to Zstandard
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  19. 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
    02 Sep 2020
... 84 85 86