4424 search results for "author:" ""
Showing 4401 - 4424
-
Implements arithmetic and logical operations over arbitrary-precision integers1.13LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 128 other packages20 Jul 2023
-
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
-
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
-
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