4660 search results for ""
-
0install
No documentation
Decentralised installation system2.18LGPL-2.1-or-laterUsed by 1 other packages19 Aug 2022 -
0install-gtk
No documentation
Decentralised installation system - GTK UI2.18LGPL-2.1-or-laterUsed by 0 other packages19 Aug 2022 -
0install-solver
No documentation
Package dependency solver2.18LGPL-2.1-or-laterUsed by 3 other packages19 Aug 2022 -
ANSITerminal
No documentation
Basic control of ANSI compliant terminals and the windows shell0.8.5LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 16 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 -
aarch64-esperanto
No documentation
0.0.6MITUsed by 0 other packages13 Aug 2024 -
abella
No documentation
Interactive theorem prover based on lambda-tree syntax2.0.8GPL-3.0-onlyUsed by 0 other packages01 Nov 2023 -
absolute
No documentation
0.3LGPL-3.0-or-laterUsed by 0 other packages03 Jul 2023 -
abstract_algebra
No documentation
A small library describing abstract algebra conceptsv0.17.0MITUsed by 1 other packages26 May 2024 -
accessor
No documentation
A library that makes it nicer to work with nested functional data structuresv0.17.0MITUsed by 2 other packages26 May 2024 -
accessor_async
No documentation
Accessors for Async types, for use with the Accessor libraryv0.17.0MITUsed by 0 other packages26 May 2024 -
accessor_base
No documentation
Accessors for Base types, for use with the Accessor libraryv0.17.0MITUsed by 1 other packages26 May 2024 -
accessor_core
No documentation
Accessors for Core types, for use with the Accessor libraryv0.17.0MITUsed by 1 other packages26 May 2024 -
acgtk
No documentation
Abstract Categorial Grammar development toolkit2.2.0CeCILL-1.0+Used by 0 other packages11 Nov 2025 -
aches
No documentation
Caches (bounded-size stores) for in-memory values and for resources1.1.0MITUsed by 16 other packages14 Jun 2024 -
aches-lwt
No documentation
Caches (bounded-size stores) for Lwt promises1.1.0MITUsed by 15 other packages14 Jun 2024 -
acp4
No documentation
ACP4: AutoCorrelation of Pharmacophore Features1.1.0GPL-3.0-onlyUsed by 0 other packages05 Dec 2024 -
acpc
No documentation
Chemoinformatics tool for ligand-based virtual screening2.0.0BSD-3-ClauseUsed by 0 other packages13 Jan 2023 -
activitypub
No documentation
ActivityPub in OCaml0.1.0LGPL-3.0-onlyUsed by 2 other packages14 Oct 2024 -
activitypub_client
No documentation
ActivityPub client in OCaml0.1.0LGPL-3.0-onlyUsed by 1 other packages14 Oct 2024 -
activitypub_gui
No documentation
Simple ActivityPub client gui in OCaml0.1.0LGPL-3.0-onlyUsed by 1 other packages14 Oct 2024 -
activitypub_server
No documentation
ActivityPub server in OCaml0.1.0LGPL-3.0-onlyUsed by 1 other packages14 Oct 2024 -
activitypub_server_gui
No documentation
ActivityPub server in OCaml, admin GUI0.1.0LGPL-3.0-onlyUsed by 0 other packages14 Oct 2024 -
adelfa
No documentation
Proof assistant for reasoning about LF specifications0.1GPL-3.0-onlyUsed by 0 other packages24 Oct 2024 -
adobe_font_metrics
No documentation
1.0.0CeCILL-CUsed by 0 other packages20 Feb 2024 -
advi
No documentation
Active DVI Dune package!2.0.0LGPL-2.1-or-laterUsed by 0 other packages14 Apr 2021 -
aez
No documentation
Alt-Ergo Zero is an OCaml library for an SMT solver.0.3Used by 0 other packages21 Nov 2013 -
afl
No documentation
American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam2.57bApache-2.0Used by 0 other packages21 Jun 2023 -
afl-persistent
No documentation
Use afl-fuzz in persistent mode1.4MITUsed by 5 other packages23 May 2023 -
ago
No documentation
ago(1) - compute the number of days between two calendar dates0.4BSD-3-ClauseUsed by 0 other packages13 Sep 2017 -
agrid
No documentation
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
No documentation
AIFAD - Automated Induction of Functions over Algebraic Datatypes2.3.2LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages21 Oct 2025 -
aio
No documentation
0.0.3Used by 0 other packages21 Nov 2013 -
alba
No documentation
Alba compiler0.4.4GPL-2.0-onlyUsed by 0 other packages16 Dec 2020 -
albatross
No documentation
Albatross - orchestrate and manage MirageOS unikernels with Solo52.6.2ISCUsed by 0 other packages16 Dec 2025 -
alcotest
No documentation
Alcotest is a lightweight and colourful test framework1.9.1ISCUsed by 641 other packages01 Oct 2025 -
alcotest-async
No documentation
Async-based helpers for Alcotest1.9.1ISCUsed by 5 other packages01 Oct 2025 -
alcotest-js
No documentation
Virtual package containing optional JavaScript dependencies for Alcotest1.9.1ISCUsed by 0 other packages01 Oct 2025 -
alcotest-lwt
No documentation
Lwt-based helpers for Alcotest1.9.1ISCUsed by 122 other packages01 Oct 2025 -
alcotest-mirage
No documentation
Mirage implementation for Alcotest1.9.1ISCUsed by 0 other packages01 Oct 2025 -
alg_structs
No documentation
Interfaces and module combinators for algebraic structures0.1.3MITUsed by 1 other packages29 Oct 2019 -
alg_structs_qcheck
No documentation
Provides qCheck generators for laws of alg_structs0.1.3MITUsed by 0 other packages29 Oct 2019 -
algaeff
No documentation
Reusable Effects-Based Components2.0.0Apache-2.0Used by 3 other packages07 Nov 2023 -
aliases
No documentation
In memory indexes0.0.5MITUsed by 0 other packages10 Jan 2014 -
alice
No documentation
Radical OCaml build system and environment manager0.4.0MITUsed by 0 other packages05 Jan 2026 -
allegro5
No documentation
OCaml Allegro 50.2LGPL-3.0-or-laterUsed by 0 other packages09 Mar 2025 -
alonzo
No documentation
STLC type system0.4.0ISCUsed by 0 other packages04 Apr 2022 -
alsa
No documentation
Bindings for the ALSA library which provides functions for using soundcards0.3.0GPL-2.0-onlyUsed by 0 other packages09 Aug 2020 -
alt-ergo
No documentation
2.6.2LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages14 May 2025