4605 search results for "author:" ""
Showing 51 - 100
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages24 Sep 2024
-
alt-ergo-parsers-free
No documentation
The Alt-Ergo SMT prover parser library2.3.3.dune3Apache-2.0Used by 1 other packages26 Jul 2022 -
An experimental Why3 frontend for Alt-Ergo2.6.0LGPL-2.1-onlyUsed by 0 other packages24 Sep 2024
-
2.4.3LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-onlyUsed by 1 other packages27 Apr 2023
-
amf
No documentation
Parser/serializer for Adobe's Action Message Format0.1.2LGPL with OCaml linking exceptionUsed by 0 other packages12 Sep 2019 -
Amqp client base library2.3.0BSD-3-ClauseUsed by 2 other packages21 Dec 2023
-
Amqp client library, async version2.3.0BSD-3-ClauseUsed by 0 other packages21 Dec 2023
-
Amqp client library, lwt version2.3.0BSD-3-ClauseUsed by 0 other packages21 Dec 2023
-
Use data structures larger than available memory0.9.1Used by 0 other packages07 Mar 2019
-
Modal Homotopy Type System1.1.1ISCUsed by 0 other packages27 Jan 2022
-
Parser combinators built for speed and memory-efficiency0.16.1BSD-3-clauseUsed by 68 other packages13 Sep 2024
-
Async support for Angstrom0.16.1BSD-3-clauseUsed by 3 other packages13 Sep 2024
-
Lwt_unix support for Angstrom0.16.1BSD-3-clauseUsed by 3 other packages13 Sep 2024
-
Unix support for Angstrom0.16.1BSD-3-clauseUsed by 6 other packages13 Sep 2024
-
1.1.0Used by 0 other packages20 Jun 2015
-
ANSI escape sequence parser0.7.0Apache-2.0Used by 1 other packages18 Sep 2023
-
Ansiparse is a library for converting raw terminal output, replete with escape codes, into formatted HTML0.4.0ISCUsed by 0 other packages25 Feb 2022
-
Word search library and utility0.1MITUsed by 0 other packages08 Apr 2020
-
antic
No documentation
Deprecated use flint0.4.0LGPL-2.1-onlyUsed by 1 other packages11 Jul 2024 -
Scan-resistant LRU/2Q cache0.7.4ISCUsed by 2 other packages09 Aug 2017
-
Scan-resistant LRU/2Q cache0.7.4ISCUsed by 0 other packages09 Aug 2017
-
Scan-resistant LRU/2Q cache0.7.4ISCUsed by 0 other packages09 Aug 2017
-
Bindings for the AO library which provides high-level functions for using soundcards0.2.4LGPL-2.1Used by 0 other packages04 Jan 2022
-
OCaml tools for loop perforation0.1.2Used by 0 other packages11 Aug 2016
-
OCaml Utility Library0.4.7Apache-2.0Used by 3 other packages01 Apr 2020
-
OCaml Networking Library0.4.7Apache-2.0Used by 0 other packages01 Apr 2020
-
OCaml Time Stamping Library0.4.7Apache-2.0Used by 0 other packages01 Apr 2020
-
api-watch
No documentation
Libraries and tools to keep watch on your OCaml lib's API changes0.1.1ISCUsed by 0 other packages11 Oct 2024 -
APRON numerical abstract domain libraryv0.9.15LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 10 other packages05 Jul 2024
-
Apron extension1.0.4Used by 3 other packages13 Mar 2021
-
arakoon
No documentation
A distributed key-value store that guarantees consistency above anything else.1.9.17Apache-2.0Used by 0 other packages23 May 2017 -
arb
No documentation
Deprecated use flint0.4.0LGPL-2.1-onlyUsed by 1 other packages11 Jul 2024 -
arch-x86_32
No documentation
Build OCaml for x86 (32-bit)1CC0-1.0+Used by 4 other packages05 Jun 2024 -
arch-x86_64
No documentation
Build OCaml for amd64 (64-bit)1CC0-1.0+Used by 4 other packages05 Jun 2024 -
Archetype language compiler1.5.2MITUsed by 0 other packages26 Apr 2024
-
A library for managing the lifecycle of stateful components in OCaml0.2.0BSD-3-clauseUsed by 2 other packages24 May 2022
-
Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml0.2.0BSD-3-clauseUsed by 0 other packages24 May 2022
-
Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml0.2.0BSD-3-clauseUsed by 0 other packages24 May 2022
-
Extensible 2D plotting library0.4.19LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages24 Oct 2018
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
Bash completion support for Stdlib.Arg0.1.0MITUsed by 1 other packages30 Mar 2022
-
OCaml bindings to Argon21.0.2MITUsed by 1 other packages02 Apr 2024
-
argot
No documentation
An enhanced HTML generator for the ocamldoc tool of the OCaml language1.1GPL-3.0-onlyUsed by 0 other packages21 Nov 2013 -
Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module0.1.0MITUsed by 0 other packages13 Dec 2023
-
Address Resolution Protocol purely in OCaml3.1.1ISCUsed by 7 other packages09 May 2024
-
Address Resolution Protocol for MirageOS2.2.1ISCUsed by 2 other packages18 Dec 2019
-
A RISC-V simulator1.0.0CeCILL-2.1Used by 0 other packages05 Oct 2023
-
arrayjit
No documentation
An array language compiler with multiple backends (CPU, CUDA), staged compilation0.4.1BSD-2-ClauseUsed by 1 other packages17 Sep 2024 -
Adaptive Radix Tree0.2.0MITUsed by 3 other packages20 Jul 2022
-
asai
No documentation
A library for constructing and printing compiler diagnostics0.3.1Apache-2.0Used by 1 other packages27 Feb 2024