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

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)

RFC 1035 Internet domain names (runtime)

RFC 1035 Internet domain names (dev)

OCaml libraries for package dependencies (development files)

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)

Advanced scheduler for OCaml (Runtime library)

Advanced scheduler for OCaml (Development package)

conversions to various time units for OCaml (runtime)

conversions to various time units for OCaml (dev)

easy(ier) pretty printing for OCaml - plugins

easy(ier) pretty printing for OCaml - development files

web framework for ocsigenserver (dev libraries)

embeddable lambda-Prolog interpreter (runtime files)

embeddable lambda-Prolog interpreter (dev files)

constant-time equal function on string for OCaml (runtime files)

constant-time equal function on string for OCaml (dev files)

OCaml expat bindings (runtime)

OCaml expat bindings (development)

Expect-like framework for OCaml