Ott tool (Coq plugin)

Coq plugin to generate parametricity statements

randomized testing framework for Coq (plugin)

automatic record fields updaters for Coq

reduction effects for Coq

representation of regular languages in Coq

relation algebra for Coq

interaction with Coq (runtime)

interaction with Coq (devel)

Coq plugin for purely functional IO

Extended standard library for Coq

enhanced unification algorithm for Coq

univalent formalization of mathematics for Coq

concurrent programming library for OCaml

Pin current process to given core number (runtime)

Pin current process to given core number (development)

O'Caml library that implements exact real arithmetic

library to fuzz-test code (runtime files)

library to fuzz-test code (dev files)

convert a filesystem into a static OCaml module (runtime files)

convert a filesystem into a static OCaml module (dev files)

MP3/Ogg Vorbis broadcast OCaml module

OCaml implementation of symmetric cryptographic algorithms: Blowfish, DES, 3DES

cryptographic algorithm library for OCaml - runtime

cryptographic algorithm library for OCaml - development

parsing and printing of S-expressions in Canonical form (runtime)

parsing and printing of S-expressions in Canonical form (dev)

access C-like structures directly from OCaml (runtime)

access C-like structures directly from OCaml (dev)

library to read and write CSV files in OCaml

library for binding to C libraries using pure OCaml (runtime)

library for binding to C libraries using pure OCaml (dev)

OCaml library to access descriptions of package upgrade problems

OCaml curl bindings (Runtime Library)

OCaml libcurl bindings (Development package)

OCaml bindings for the ncurses library (runtime)

OCaml bindings for the ncurses library

OCaml bindings for the D-Bus API (runtime)

OCaml bindings for the D-Bus API (development files)

hashes implementation (runtime)

hashes implementations (dev)

scheduler independent blocking mechanism

RFC 1035 Internet domain names (runtime)

RFC 1035 Internet domain names (dev)

OCaml libraries for package dependencies (development files)

model checker for testing concurrent programs

OCaml interface to DSSI plugins -- runtime files

OCaml interface to DSSI plugins -- developpement files

library for writing daemons in OCaml

composable build system for OCaml projects (libraries)