4288 search results for "author:" ""

Showing 4251 - 4288
  1. yocaml_runtime

    No documentation

    Tool for describing runtimes (using Logs and Digestif)
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 3 other packages
    27 May 2025
  2. yocaml_syndication

    No documentation

    Yocaml plugin for dealing with RSS and Atom feed
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  3. yocaml_unix

    No documentation

    The Unix runtime for YOCaml
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  4. yocaml_yaml

    No documentation

    Yocaml plugin for dealing with Yaml as metadata provider
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  5. yojson

    No documentation

    Yojson is an optimized parsing and printing library for the JSON format
    Martin Jambon
    3.0.0
    BSD-3-Clause
    Used by 222 other packages
    02 Jun 2025
  6. yojson-bench

    No documentation

    Run Yojson benchmarks
    Martin Jambon
    2.0.2
    BSD-3-Clause
    Used by 0 other packages
    09 Aug 2022
  7. yojson-five

    No documentation

    Yojson-five is a parsing and printing library for the JSON5 format
    Martin Jambon
    3.0.0
    BSD-3-Clause
    Used by 1 other packages
    02 Jun 2025
  8. yosqlite

    No documentation

    Simple Sqlite3. Yojson+Sqlite3 amalgamation
    sqlite3 sqlite database
    Szymon Wygnański
    0.2
    MIT
    Used by 0 other packages
    22 Oct 2024
  9. yurt

    No documentation

    An HTTP framework for OCaml
    Zach Shipko
    0.6
    ISC
    Used by 0 other packages
    31 Aug 2018
  10. yuscii

    No documentation

    Mapper of UTF-7 to Unicode
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 1 other packages
    14 Mar 2020
  11. yuujinchou

    No documentation

    A library for hierarchical names and lexical scoping
    favonia <favonia@gmail.com> Jonathan Sterling <jon@jonmsterling.com>
    5.2.0
    Apache-2.0
    Used by 1 other packages
    07 Nov 2023
  12. zar

    No documentation

    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  13. zarith

    No documentation

    Implements arithmetic and logical operations over arbitrary-precision integers
    Antoine Miné Xavier Leroy Pascal Cuoq
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 125 other packages
    15 Jul 2024
  14. zarith-ppx

    No documentation

    Literals for Zarith's arbitrary-precision integers and rationals
    ppx zarith
    Gabriel Radanne
    0.1
    Used by 0 other packages
    19 Mar 2019
  15. zarith_stubs_js

    No documentation

    Javascripts stubs for the Zarith library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 16 other packages
    26 May 2024
  16. zarr

    No documentation

    An Ocaml implementation of the Zarr V3 specification
    zarr chunked arrays zarr version 3
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 3 other packages
    07 Sep 2024
  17. zarr-eio

    No documentation

    Eio-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  18. zarr-lwt

    No documentation

    Lwt-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  19. zarr-sync

    No documentation

    Synchronous API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  20. zbar

    No documentation

    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    21 Nov 2013
  21. zdd

    No 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
  22. zed

    No 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
  23. zeit

    No documentation

    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  24. zelus

    No 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
  25. zelus-gtk

    No 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
  26. zenon

    No 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
  27. zenon_modulo

    No documentation

    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024
  28. zipc

    No 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
  29. zipperposition

    No 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
  30. zipperposition-tools

    No 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
  31. zlib

    No documentation

    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    05 Jun 2024
  32. zlist

    No 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
  33. zmq

    No 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
  34. zmq-async

    No documentation

    Async-aware bindings to ZMQ
    Rudi Grinberg
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  35. zmq-eio

    No documentation

    Eio aware bindings to ZMQ
    Anders Fugmann
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  36. 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
  37. zstandard

    No documentation

    OCaml bindings to Zstandard
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  38. zxcvbn

    No 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