4485 search results for "author:" ""
Showing 1 - 50
-
Basic control of ANSI compliant terminals and the windows shell0.8.5LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 19 other packages19 Jul 2022
-
aacplus
No documentation
Bindings for the aacplus library which provides functions for decoding AAC audio files0.2.2Used by 0 other packages17 Aug 2015 -
0.0.6MITUsed by 0 other packages13 Aug 2024
-
Interactive theorem prover based on lambda-tree syntax2.0.8GPL-3.0-onlyUsed by 0 other packages01 Nov 2023
-
0.3LGPL-3.0-or-laterUsed by 0 other packages03 Jul 2023
-
A small library describing abstract algebra conceptsv0.17.0MITUsed by 1 other packages26 May 2024
-
OCaml port of CMU's abstract binding trees0.0.3MITUsed by 0 other packages27 Apr 2017
-
A library that makes it nicer to work with nested functional data structuresv0.17.0MITUsed by 2 other packages26 May 2024
-
Accessors for Async types, for use with the Accessor libraryv0.17.0MITUsed by 0 other packages26 May 2024
-
Accessors for Base types, for use with the Accessor libraryv0.17.0MITUsed by 1 other packages26 May 2024
-
Accessors for Core types, for use with the Accessor libraryv0.17.0MITUsed by 1 other packages26 May 2024
-
Abstract Categorial Grammar development toolkit2.1.0CeCILL-1.0+Used by 0 other packages19 Feb 2024
-
Caches (bounded-size stores) for in-memory values and for resources1.1.0MITUsed by 16 other packages14 Jun 2024
-
Caches (bounded-size stores) for Lwt promises1.1.0MITUsed by 15 other packages14 Jun 2024
-
A library to interact with the acme text editor.0.1BSD-3-ClauseUsed by 1 other packages29 Apr 2014
-
ACP4: AutoCorrelation of Pharmacophore Features1.0.1GPL-3.0-onlyUsed by 0 other packages07 Jan 2023
-
Chemoinformatics tool for ligand-based virtual screening2.0.0BSD-3-ClauseUsed by 0 other packages13 Jan 2023
-
1.0.0CeCILL-CUsed by 0 other packages20 Feb 2024
-
Active DVI Dune package!2.0.0LGPL-2.1-or-laterUsed by 0 other packages14 Apr 2021
-
American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam2.57bApache-2.0Used by 0 other packages21 Jun 2023
-
Use afl-fuzz in persistent mode1.4MITUsed by 5 other packages23 May 2023
-
ago(1) - compute the number of days between two calendar dates0.4BSD-3-ClauseUsed by 0 other packages13 Sep 2017
-
String searching with errors1.0LGPL-2.0-or-laterUsed by 0 other packages21 Nov 2013
-
Adjustable grid (two dimensional array) library0.1ISCUsed by 1 other packages09 Mar 2021
-
ahrocksdb
No documentation
A binding to RocksDB0.2.2MITUsed by 0 other packages31 Jan 2019 -
AIFAD - Automated Induction of Functions over Algebraic Datatypes2.3.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages29 Mar 2022
-
Alba compiler0.4.4GPL-2.0-onlyUsed by 0 other packages16 Dec 2020
-
Albatross - orchestrate and manage MirageOS unikernels with Solo52.0.0ISCUsed by 0 other packages15 May 2023
-
alberto
No documentation
OCaml interface to Erlang ports0.4LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages03 Mar 2015 -
Alcotest is a lightweight and colourful test framework1.8.0ISCUsed by 596 other packages25 Jul 2024
-
Async-based helpers for Alcotest1.8.0ISCUsed by 5 other packages25 Jul 2024
-
Virtual package containing optional JavaScript dependencies for Alcotest1.8.0ISCUsed by 0 other packages25 Jul 2024
-
Lwt-based helpers for Alcotest1.8.0ISCUsed by 148 other packages25 Jul 2024
-
Mirage implementation for Alcotest1.8.0ISCUsed by 0 other packages25 Jul 2024
-
Interfaces and module combinators for algebraic structures0.1.3MITUsed by 1 other packages29 Oct 2019
-
Provides qCheck generators for laws of alg_structs0.1.3MITUsed by 0 other packages29 Oct 2019
-
Reusable Effects-Based Components2.0.0Apache-2.0Used by 3 other packages07 Nov 2023
-
In memory indexes0.0.5MITUsed by 0 other packages10 Jan 2014
-
STLC type system0.4.0ISCUsed by 0 other packages04 Apr 2022
-
Bindings for the ALSA library which provides functions for using soundcards0.3.0GPL-2.0-onlyUsed by 0 other packages09 Aug 2020
-
2.5.4LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 5 other packages16 May 2024
-
alt-ergo-free
No documentation
The Alt-Ergo SMT prover2.3.3.dune3Apache-2.0Used by 1 other packages26 Jul 2022 -
2.5.4LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages16 May 2024
-
alt-ergo-lib-free
No documentation
The Alt-Ergo SMT prover library2.3.3.dune3Apache-2.0Used by 2 other packages26 Jul 2022 -
2.5.4LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages16 May 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.5.4LGPL-2.1-onlyUsed by 0 other packages16 May 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