4511 search results for ""

Showing 4451 - 4500
  1. xtmpl_js
    Documentation
    Xml templating library, javascript library
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 1 other packages
    24 Jun 2025
  2. xtmpl_ppx
    Documentation
    Xml templating library, ppx extension
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 8 other packages
    24 Jun 2025
  3. xxhash
    Documentation
    Bindings for xxHash, an extremely fast hash algorithm
    Pieter Goetschalckx <3.14.e.ter@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    09 Sep 2016
  4. yajl
    Documentation
    Bindings to the YAJL streaming JSON library
    0.7.3
    Used by 0 other packages
    21 Nov 2013
  5. yaml
    Documentation
    Parse and generate YAML 1.1/1.2 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 22 other packages
    06 Nov 2023
  6. yaml-sexp
    Documentation
    Parse and generate YAML 1.1 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 2 other packages
    06 Nov 2023
  7. yara
    Documentation
    OCaml bindings for YARA matching engine
    Anton Kochkov <anton.kochkov@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    10 Dec 2019
  8. yices2
    Documentation
    Yices2 SMT solver binding
    Mickaël Delahaye <mickael.delahaye@gmail.com>
    0.0.3
    ISC; non-commercial use
    Used by 0 other packages
    08 May 2017
  9. yices2_bindings
    Documentation
    Ocaml bindings for yices2
    Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>
    0.2
    GPL-3.0-only
    Used by 0 other packages
    14 Sep 2020
  10. yocaml
    Documentation
    Core engine of the YOCaml Static Site Generator
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 11 other packages
    27 May 2025
  11. yocaml_cmark
    Documentation
    YOCaml Common Mark 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
  12. yocaml_cmarkit
    Documentation
    Yocaml plugin for using Markdown (via Cmarkit package) as a Markup language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  13. yocaml_eio
    Documentation
    The Eio runtime YOCaml
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  14. yocaml_git
    Documentation
    Yocaml plugins for generating Yocaml program into a Git repository
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  15. yocaml_jingoo
    Documentation
    Yocaml plugin for using Jingoo as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  16. 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
  17. yocaml_mustache
    Documentation
    Yocaml plugin for using Mustache as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  18. yocaml_omd
    Documentation
    Yocaml plugin for using Markdown (via OMD package) as a Markup language
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  19. yocaml_otoml
    Documentation
    Yocaml plugin for dealing with TOML as metadata provider
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    27 May 2025
  20. yocaml_runtime
    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
  21. yocaml_syndication
    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
  22. yocaml_unix
    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
  23. yocaml_yaml
    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
  24. yojson
    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
  25. yojson-bench
    Documentation
    Run Yojson benchmarks
    Martin Jambon
    2.0.2
    BSD-3-Clause
    Used by 0 other packages
    09 Aug 2022
  26. yojson-five
    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
  27. yosqlite
    Documentation
    Simple Sqlite3. Yojson+Sqlite3 amalgamation
    sqlite3 sqlite database
    Szymon Wygnański
    0.2
    MIT
    Used by 0 other packages
    22 Oct 2024
  28. yurt
    Documentation
    An HTTP framework for OCaml
    Zach Shipko
    0.6
    ISC
    Used by 0 other packages
    31 Aug 2018
  29. 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
  30. 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
  31. z3
    Documentation
    Z3 solver
    MSR
    4.15.2
    MIT
    Used by 8 other packages
    29 Jun 2025
  32. z3_tptp
    Documentation
    TPTP front end for Z3 solver
    MSR
    4.11.2
    MIT
    Used by 0 other packages
    09 Mar 2023
  33. zanuda
    Documentation
    Linter for OCaml+dune projects
    lint test
    Kakadu
    1.1.0
    LGPL-3.0-only
    Used by 0 other packages
    26 Feb 2025
  34. 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
  35. 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 125 other packages
    15 Jul 2024
  36. 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
  37. zarith_stubs_js
    Documentation
    Javascripts stubs for the Zarith library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 16 other packages
    26 May 2024
  38. 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
  39. zarr-eio
    Documentation
    Eio-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  40. zarr-lwt
    Documentation
    Lwt-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  41. zarr-sync
    Documentation
    Synchronous API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  42. zbar
    Documentation
    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    21 Nov 2013
  43. 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
  44. 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
  45. zeit
    Documentation
    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 89 90 91