4450 search results for "author:" ""
-
yices2_bindings
No documentation
Ocaml bindings for yices20.2GPL-3.0-onlyUsed by 0 other packages14 Sep 2020 -
yocaml
No documentation
Core engine of the YOCaml Static Site Generator2.8.0GPL-3.0-or-laterUsed by 13 other packages18 Dec 2025 -
yocaml_cmark
No documentation
YOCaml Common Mark processor1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023 -
yocaml_cmarkit
No documentation
Yocaml plugin for using Markdown (via Cmarkit package) as a Markup language2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_eio
No documentation
The Eio runtime YOCaml2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_git
No documentation
Yocaml plugins for generating Yocaml program into a Git repository2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_jingoo
No documentation
Yocaml plugin for using Jingoo as a template language2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_liquid
No documentation
Yocaml plugin for using Liquid as a template language2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_markdown
No documentation
The recommended plugin for processing Markdown documents (based on Cmarkit)2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_mustache
No documentation
Yocaml plugin for using Mustache as a template language2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_omd
No documentation
Yocaml plugin for using Markdown (via OMD package) as a Markup language2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_otoml
No documentation
Yocaml plugin for dealing with TOML as metadata provider2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_runtime
No documentation
Tool for describing runtimes (using Logs and Digestif)2.8.0GPL-3.0-or-laterUsed by 3 other packages18 Dec 2025 -
yocaml_syndication
No documentation
Yocaml plugin for dealing with RSS and Atom feed2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_unix
No documentation
The Unix runtime for YOCaml2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
yocaml_yaml
No documentation
Yocaml plugin for dealing with Yaml as metadata provider2.8.0GPL-3.0-or-laterUsed by 0 other packages18 Dec 2025 -
Yojson is an optimized parsing and printing library for the JSON format3.0.0BSD-3-ClauseUsed by 253 other packages02 Jun 2025
-
yojson-bench
No documentation
Run Yojson benchmarks2.0.2BSD-3-ClauseUsed by 0 other packages09 Aug 2022 -
Yojson-five is a parsing and printing library for the JSON5 format3.0.0BSD-3-ClauseUsed by 1 other packages02 Jun 2025
-
yosqlite
No documentation
0.2MITUsed by 0 other packages22 Oct 2024 -
yurt
No documentation
An HTTP framework for OCaml0.6ISCUsed by 0 other packages31 Aug 2018 -
Mapper of UTF-7 to Unicode0.3.0MITUsed by 1 other packages14 Mar 2020
-
A library for hierarchical names and lexical scoping5.2.0Apache-2.0Used by 1 other packages07 Nov 2023
-
Formally verified sampling from discrete probability distributions0.9.3MITUsed by 0 other packages17 Feb 2024
-
Implements arithmetic and logical operations over arbitrary-precision integers1.14LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 133 other packages15 Jul 2024
-
0.1Used by 0 other packages19 Mar 2019
-
Javascripts stubs for the Zarith libraryv0.17.0MITUsed by 16 other packages26 May 2024
-
zarr
No documentation
An Ocaml implementation of the Zarr V3 specification0.1.0BSD-3-ClauseUsed by 3 other packages07 Sep 2024 -
zarr-eio
No documentation
Eio-aware API for Zarr0.1.0BSD-3-ClauseUsed by 0 other packages07 Sep 2024 -
zarr-lwt
No documentation
Lwt-aware API for Zarr0.1.0BSD-3-ClauseUsed by 0 other packages07 Sep 2024 -
zarr-sync
No documentation
Synchronous API for Zarr0.1.0BSD-3-ClauseUsed by 0 other packages07 Sep 2024 -
Binding to ZBar (QR-code scanning library)0.9Used by 0 other packages21 Nov 2013
-
Implementation of ZDDs, as well as upward-closed and downward-closed set families0.5LGPL-3.0-or-laterUsed by 0 other packages10 Mar 2025
-
zed
No documentation
Abstract engine for text edition in OCaml3.2.3BSD-3-ClauseUsed by 6 other packages22 Aug 2023 -
zeit
No documentation
0.1.0BSD-2-ClauseUsed by 1 other packages19 Sep 2018 -
A synchronous language with ODEs2.2INRIA Non-Commercial License AgreementUsed by 1 other packages21 Jun 2021
-
zelus-gtk
No documentation
Zelus GTK library2.2INRIA Non-Commercial License AgreementUsed by 0 other packages21 Jun 2021 -
An Extensible Automated Theorem Prover Producing Checkable Proofs0.8.5Used by 0 other packages23 Oct 2020
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024
-
0.2.0ISCUsed by 0 other packages24 Jan 2024
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
Support tools for Zipperposition2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
Bindings to the zlib compression library0.8ISCUsed by 1 other packages05 Jun 2024
-
Lazy lists for OCaml0.5.0Apache-2.0Used by 0 other packages04 Apr 2021
-
OCaml bindings for ZeroMQ 4.x5.3.0MITUsed by 9 other packages08 Apr 2024
-
zmq-async
No documentation
Async-aware bindings to ZMQ5.3.0MITUsed by 0 other packages08 Apr 2024 -
zmq-eio
No documentation
Eio aware bindings to ZMQ5.3.0MITUsed by 0 other packages08 Apr 2024 -
Lwt-aware bindings to ZMQ5.3.0MITUsed by 2 other packages08 Apr 2024
-
zstandard
No documentation
OCaml bindings to Zstandardv0.17.0MITUsed by 1 other packages26 May 2024 -
zxcvbn
No documentation
Bindings for the zxcvbn password strength estimation library2.4+1BSD-2-ClauseUsed by 0 other packages02 Sep 2020