4405 search results for "author:" ""

Showing 4351 - 4400
  1. 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
    Added to opam-repository
  2. yamlx
    Documentation
    Pure-OCaml YAML 1.2/1.1 parser with a lossless, comment-preserving AST
    yaml parser serialization
    Martin Jambon <martin@mjambon.com>
    0.5.0
    AGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  3. yara
    Documentation
    OCaml bindings for YARA matching engine
    Anton Kochkov <anton.kochkov@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. yices2

    No documentation

    Yices2 SMT solver binding
    Mickaël Delahaye <mickael.delahaye@gmail.com>
    0.0.3
    ISC; non-commercial use
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  6. yocaml
    Documentation
    Core engine of the YOCaml Static Site Generator
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 14 other packages
    Added to opam-repository
  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
    Added to opam-repository
  8. yocaml_cmarkit
    Documentation
    Yocaml plugin for using Markdown (via Cmarkit package) as a Markup language
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  9. yocaml_eio
    Documentation
    The Eio runtime YOCaml
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  10. yocaml_git
    Documentation
    Yocaml plugins for generating Yocaml program into a Git repository
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  11. yocaml_jingoo
    Documentation
    Yocaml plugin for using Jingoo as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  12. yocaml_liquid
    Documentation
    Yocaml plugin for using Liquid as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  13. yocaml_markdown
    Documentation
    The recommended plugin for processing Markdown documents (based on Cmarkit)
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  14. yocaml_mustache
    Documentation
    Yocaml plugin for using Mustache as a template language
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  15. yocaml_omd
    Documentation
    Yocaml plugin for using Markdown (via OMD package) as a Markup language
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  16. yocaml_otoml
    Documentation
    Yocaml plugin for dealing with TOML as metadata provider
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  17. yocaml_runtime
    Documentation
    Tool for describing runtimes (using Logs and Digestif)
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 3 other packages
    Added to opam-repository
  18. yocaml_syndication
    Documentation
    Yocaml plugin for dealing with RSS and Atom feed
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  19. yocaml_unix
    Documentation
    The Unix runtime for YOCaml
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  20. yocaml_yaml
    Documentation
    Yocaml plugin for dealing with Yaml as metadata provider
    The XHTMLBoy <xhtmlboi@gmail.com>
    3.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  21. yojson
    Documentation
    Yojson is an optimized parsing and printing library for the JSON format
    Martin Jambon
    3.0.0
    BSD-3-Clause
    Used by 298 other packages
    Added to opam-repository
  22. yojson-bench
    Documentation
    Run Yojson benchmarks
    Martin Jambon
    2.0.2
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. yosqlite
    Documentation
    Simple Sqlite3. Yojson+Sqlite3 amalgamation
    sqlite3 sqlite database
    Szymon Wygnański
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  25. yultracer
    Documentation
    A bounded safety checker for Yul
    yul evm interpreter game-semantics safety-checker assertions verification symbolic-execution blockchain ethereum
    Yu-Yang Lin
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  26. yurt
    Documentation
    An HTTP framework for OCaml
    Zach Shipko
    0.6
    ISC
    Used by 0 other packages
    Added to opam-repository
  27. yuscii
    Documentation
    Mapper of UTF-7 to Unicode
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. 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 137 other packages
    Added to opam-repository
  31. zarith-ppx
    Documentation
    Literals for Zarith's arbitrary-precision integers and rationals
    ppx zarith
    Gabriel Radanne
    0.1
    Used by 0 other packages
    Added to opam-repository
  32. zarith_stubs_js
    Documentation
    Javascripts stubs for the Zarith library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 9 other packages
    Added to opam-repository
  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
    Added to opam-repository
  34. zarr-eio
    Documentation
    Eio-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  35. zarr-lwt
    Documentation
    Lwt-aware API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  36. zarr-sync
    Documentation
    Synchronous API for Zarr
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  37. zbar
    Documentation
    Binding to ZBar (QR-code scanning library)
    Vincent Bernardoff
    0.9
    Used by 0 other packages
    Added to opam-repository
  38. 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
    Added to opam-repository
  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
    Added to opam-repository
  40. zeit
    Documentation
    Etienne Millon <me@emillon.org>
    0.1.0
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  44. zenon_modulo
    Documentation
    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  48. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  50. zmq
    Documentation
    OCaml bindings for ZeroMQ 4.x
    Anders Fugmann Pedro Borges Peter Zotov
    5.3.0
    MIT
    Used by 9 other packages
    Added to opam-repository
... 87 88 89