4938 search results for ""
Showing 4901 - 4938
-
0.2MITUsed by 0 other packages22 Oct 2024
-
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
-
Z3 solver4.13.3MITUsed by 8 other packages22 Oct 2024
-
TPTP front end for Z3 solver4.11.2MITUsed by 0 other packages09 Mar 2023
-
OCaml linter experiment1.0.0LGPL-3.0-onlyUsed by 0 other packages24 Mar 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 131 other packages15 Jul 2024
-
zarith-freestanding
No documentation
Implements arithmetic and logical operations over arbitrary-precision integers1.12Used by 2 other packages03 Mar 2021 -
0.1Used by 0 other packages19 Mar 2019
-
Implements arithmetic and logical operations over arbitrary-precision integers1.7Used by 2 other packages16 Oct 2017
-
Javascripts stubs for the Zarith libraryv0.17.0MITUsed by 17 other packages26 May 2024
-
An Ocaml implementation of the Zarr V3 specification0.1.0BSD-3-ClauseUsed by 3 other packages07 Sep 2024
-
Eio-aware API for Zarr0.1.0BSD-3-ClauseUsed by 0 other packages07 Sep 2024
-
Lwt-aware API for Zarr0.1.0BSD-3-ClauseUsed by 0 other packages07 Sep 2024
-
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
-
Abstract engine for text edition in OCaml3.2.3BSD-3-ClauseUsed by 6 other packages22 Aug 2023
-
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 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
-
zephyrus
No documentation
Zephyrus automatic configuration generation tool.0.1Used by 0 other packages21 Nov 2013 -
zero
No documentation
Deprecated, merged into core_kernel109.28.00Apache-2.0Used by 0 other packages21 Nov 2013 -
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
-
zmq
No documentation
OCaml bindings for ZeroMQ 4.x5.3.0MITUsed by 11 other packages08 Apr 2024 -
Async-aware bindings to ZMQ5.3.0MITUsed by 0 other packages08 Apr 2024
-
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
-
OCaml bindings to Zstandardv0.17.0MITUsed by 1 other packages26 May 2024
-
0.4BSD-3-ClauseUsed by 0 other packages08 Apr 2024
-
Bindings for the zxcvbn password strength estimation library2.4+1BSD-2-ClauseUsed by 0 other packages02 Sep 2020