4708 search results for ""

Showing 4651 - 4700
  1. xoshiro
    Documentation
    Xoshiro PRNGs as drop-in replacements for Stdlib.Random
    Niols “Niols” Jeannerod <niols@niols.fr> Martin Pépin <kerl@wkerl.me>
    0.1
    LGPL-3.0-or-later
    Used by 0 other packages
    30 Jun 2021
  2. xstr
    Documentation
    Functions for string searching/matching/splitting
    0.2.1
    Used by 0 other packages
    21 Nov 2013
  3. xstrp4

    No documentation

    Brace expansion (alias 'interpolation') performed by camlp4
    1.8
    Used by 4 other packages
    21 Nov 2013
  4. xtmpl
    Documentation
    Xml templating library
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 11 other packages
    14 Dec 2021
  5. xtmpl_js
    Documentation
    Xml templating library, javascript library
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 1 other packages
    14 Dec 2021
  6. xtmpl_ppx
    Documentation
    Xml templating library, ppx extension
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 4 other packages
    14 Dec 2021
  7. 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
  8. yajl
    Documentation
    Bindings to the YAJL streaming JSON library
    0.7.3
    Used by 1 other packages
    21 Nov 2013
  9. yajl-extra
    Documentation
    Extended YAJL bindings with a convenient high-level JSON representation
    0.7.3
    Used by 0 other packages
    21 Nov 2013
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. yocaml
    Documentation
    YOCaml It is a static site generator, mostly written in OCaml
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 8 other packages
    21 Nov 2023
  16. 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
  17. yocaml_git
    Documentation
    YOCaml Runtime using Git as target
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  18. yocaml_jingoo
    Documentation
    Deal with Jingoo in YOCaml
    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
  19. 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
  20. yocaml_mustache
    Documentation
    Deal with Mustache in YOCaml
    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
  21. yocaml_syndication
    Documentation
    YOCaml Syndication
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  22. yocaml_unix
    Documentation
    YOCaml Unix runtime
    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
  23. yocaml_yaml
    Documentation
    Deal with Yaml in YOCaml
    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
  24. yojson
    Documentation
    Yojson is an optimized parsing and printing library for the JSON format
    Martin Jambon
    2.1.2
    BSD-3-Clause
    Used by 240 other packages
    27 Nov 2023
  25. yojson-bench
    Documentation
    Run Yojson benchmarks
    Martin Jambon
    2.0.2
    BSD-3-Clause
    Used by 0 other packages
    09 Aug 2022
  26. yurt
    Documentation
    An HTTP framework for OCaml
    Zach Shipko
    0.6
    ISC
    Used by 0 other packages
    31 Aug 2018
  27. 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
  28. 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
  29. z3
    Documentation
    Z3 solver
    MSR
    4.13.0-1
    MIT
    Used by 7 other packages
    22 May 2024
  30. z3_tptp
    Documentation
    TPTP front end for Z3 solver
    MSR
    4.11.2
    MIT
    Used by 0 other packages
    09 Mar 2023
  31. zanuda
    Documentation
    OCaml linter experiment
    Kakadu
    1.0.0
    LGPL-3.0-only
    Used by 0 other packages
    24 Mar 2023
  32. 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
  33. zarith
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Antoine Miné Xavier Leroy Pascal Cuoq
    1.13
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 128 other packages
    20 Jul 2023
  34. 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
  35. 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
  36. zarith-xen
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Xavier Leroy
    1.7
    Used by 2 other packages
    16 Oct 2017
  37. 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
  38. zbar
    Documentation
    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    21 Nov 2013
  39. 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
  40. zeit
    Documentation
    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  41. 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
  42. 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
  43. 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
  44. 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
  45. zephyrus

    No documentation

    Zephyrus automatic configuration generation tool.
    0.1
    Used by 0 other packages
    21 Nov 2013
  46. 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
  47. 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
  48. 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
  49. 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
  50. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.6
    ISC
    Used by 1 other packages
    13 Apr 2019
... 93 94 95