4951 search results for ""

Showing 4901 - 4950
  1. yocaml_git
    Documentation
    Yocaml plugins for generating Yocaml program into a Git repository
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  2. yocaml_jingoo
    Documentation
    Yocaml plugin for using Jingoo as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  3. yocaml_markdown
    Documentation
    YOCaml Markdown processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  4. yocaml_mustache
    Documentation
    Yocaml plugin for using Mustache as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  5. yocaml_omd
    Documentation
    Yocaml plugin for using Markdown (via OMD package) as a Markup language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  6. yocaml_otoml
    Documentation
    Yocaml plugin for dealing with TOML as metadata provider
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  7. yocaml_runtime
    Documentation
    Tool for describing runtimes (using Logs and Digestif)
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 3 other packages
    22 Oct 2024
  8. yocaml_syndication
    Documentation
    Yocaml plugin for dealing with RSS and Atom feed
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  9. yocaml_unix
    Documentation
    The Unix runtime for YOCaml
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  10. yocaml_yaml
    Documentation
    Yocaml plugin for dealing with Yaml as metadata provider
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  11. yojson
    Documentation
    Yojson is an optimized parsing and printing library for the JSON format
    Martin Jambon
    2.2.2
    BSD-3-Clause
    Used by 256 other packages
    29 Jun 2024
  12. yojson-bench
    Documentation
    Run Yojson benchmarks
    Martin Jambon
    2.0.2
    BSD-3-Clause
    Used by 0 other packages
    09 Aug 2022
  13. yojson-five
    Documentation
    Yojson-five is a parsing and printing library for the JSON5 format
    Martin Jambon
    2.2.2
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2024
  14. yosqlite
    Documentation
    Simple Sqlite3. Yojson+Sqlite3 amalgamation
    sqlite3 sqlite database
    Szymon Wygnański
    0.2
    MIT
    Used by 0 other packages
    22 Oct 2024
  15. yurt
    Documentation
    An HTTP framework for OCaml
    Zach Shipko
    0.6
    ISC
    Used by 0 other packages
    31 Aug 2018
  16. yuscii
    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
  17. yuujinchou
    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
  18. z3
    Documentation
    Z3 solver
    MSR
    4.13.3
    MIT
    Used by 8 other packages
    22 Oct 2024
  19. z3_tptp
    Documentation
    TPTP front end for Z3 solver
    MSR
    4.11.2
    MIT
    Used by 0 other packages
    09 Mar 2023
  20. zanuda
    Documentation
    OCaml linter experiment
    Kakadu
    1.0.0
    LGPL-3.0-only
    Used by 0 other packages
    24 Mar 2023
  21. zar
    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
  22. zarith
    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 131 other packages
    15 Jul 2024
  23. zarith-freestanding

    No documentation

    Implements arithmetic and logical operations over arbitrary-precision integers
    Xavier Leroy
    1.12
    Used by 2 other packages
    03 Mar 2021
  24. zarith-ppx
    Documentation
    Literals for Zarith's arbitrary-precision integers and rationals
    ppx zarith
    Gabriel Radanne
    0.1
    Used by 0 other packages
    19 Mar 2019
  25. zarith-xen
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Xavier Leroy
    1.7
    Used by 2 other packages
    16 Oct 2017
  26. zarith_stubs_js
    Documentation
    Javascripts stubs for the Zarith library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 17 other packages
    26 May 2024
  27. zarr
    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
  28. zarr-eio
    Documentation
    Eio-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  29. zarr-lwt
    Documentation
    Lwt-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  30. zarr-sync
    Documentation
    Synchronous API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  31. zbar
    Documentation
    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    21 Nov 2013
  32. 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
  33. zeit
    Documentation
    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  34. 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
  35. 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
  36. 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
  37. 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
  38. zephyrus

    No documentation

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

    No documentation

    Deprecated, merged into core_kernel
    Jane Street Capital LLC
    109.28.00
    Apache-2.0
    Used by 0 other packages
    21 Nov 2013
  40. 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
  41. 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
  42. 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
  43. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    05 Jun 2024
  44. 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
  45. zmq

    No documentation

    OCaml bindings for ZeroMQ 4.x
    Anders Fugmann Pedro Borges Peter Zotov
    5.3.0
    MIT
    Used by 11 other packages
    08 Apr 2024
  46. zmq-async
    Documentation
    Async-aware bindings to ZMQ
    Rudi Grinberg
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  47. zmq-eio
    Documentation
    Eio aware bindings to ZMQ
    Anders Fugmann
    5.3.0
    MIT
    Used by 0 other packages
    08 Apr 2024
  48. zmq-lwt
    Documentation
    Lwt-aware bindings to ZMQ
    Anders Fugmann <anders@fugmann.net>
    5.3.0
    MIT
    Used by 2 other packages
    08 Apr 2024
  49. zstandard
    Documentation
    OCaml bindings to Zstandard
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  50. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
... 98 99 100