4605 search results for "author:" ""

Showing 4551 - 4600
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. yocaml
    Documentation
    Core engine of the YOCaml Static Site Generator
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 11 other packages
    22 Oct 2024
  7. 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
  8. yocaml_cmarkit
    Documentation
    Yocaml plugin for using Markdown (via Cmarkit 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
  9. yocaml_eio
    Documentation
    The Eio runtime YOCaml
    The XHTMLBoy <xhtmlboi@gmail.com>
    2.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    22 Oct 2024
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. yojson-bench
    Documentation
    Run Yojson benchmarks
    Martin Jambon
    2.0.2
    BSD-3-Clause
    Used by 0 other packages
    09 Aug 2022
  22. 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
  23. yosqlite
    Documentation
    Simple Sqlite3. Yojson+Sqlite3 amalgamation
    sqlite3 sqlite database
    Szymon Wygnański
    0.2
    MIT
    Used by 0 other packages
    22 Oct 2024
  24. yurt
    Documentation
    An HTTP framework for OCaml
    Zach Shipko
    0.6
    ISC
    Used by 0 other packages
    31 Aug 2018
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. zarith-xen
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Xavier Leroy
    1.7
    Used by 2 other packages
    16 Oct 2017
  32. 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
  33. 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
  34. zarr-eio
    Documentation
    Eio-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  35. zarr-lwt
    Documentation
    Lwt-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  36. zarr-sync
    Documentation
    Synchronous API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    07 Sep 2024
  37. zbar
    Documentation
    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    21 Nov 2013
  38. 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
  39. zeit
    Documentation
    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    19 Sep 2018
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    05 Jun 2024
  49. 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
  50. 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
... 91 92 93