4523 search results for "author:" ""
Showing 4501 - 4523
-
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
-
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
-
Bindings for the zxcvbn password strength estimation library2.4+1BSD-2-ClauseUsed by 0 other packages02 Sep 2020