compatibility library for Stdlib.Bigarray (dev)

bigstring intrinsics and fast blits for OCaml (runtime files)

bigstring intrinsics and fast blits for OCaml (dev files)

flexible binary data format in OCaml - plugins

flexible binary data format in OCaml - development files

type-safe binary serialization for OCaml values (runtime)

type-safe binary serialization for OCaml values (dev files)

Code coverage for OCaml and ReScript (runtime files)

Code coverage for OCaml and ReScript (dev files)

Erlang-style bitstrings for OCaml (runtime)

Erlang-style bitstrings for OCaml (development files)

OCaml blocking interface to jack audio connection kit

OCaml blocking interface to jack audio connection kit

basic OS interaction for OCaml (runtime)

basic OS interaction for OCaml (development)

OCaml bindings for the bzip2 compression library (runtime)

OCaml bindings for the bzip2 compression library

OCaml binding for Cairo (runtime library)

OCaml binding for Cairo (development files)

OCaml bindings for Cairo (runtime)

OCaml bindings for Cairo

OCaml library providing operations over dates and times (runtime)

OCaml library providing operations over dates and times (dev files)

HTML and LaTeX colored syntax from OCaml source files - plugins

HTML and LaTeX colored syntax from OCaml source files - dev files

OCaml image processing library (Runtime library)

OCaml image processing library (Development package)

interface between OCaml and Java via Caml/C interface and JNI

Pre Processor Pretty Printer for OCaml (libraries)

library for reading, writing and manipulating PDF files and data (runtime)

library for reading, writing and manipulating PDF files and data

Stream and Genlex libraries for use with Camlp4 and Camlp5 (runtime files)

Stream and Genlex libraries for use with Camlp4 and Camlp5 (dev files)

configurable library for generating text from templates in OCaml

configurable library for generating text from templates in OCaml

Unicode data for OCaml

Unicode library for OCaml

OCaml library with miscellaneous utility functions

OCaml library with miscellaneous utility functions

determine column width for a character (runtime)

determine column width for a character (development)

declarative definition of command line interfaces

OCaml compiler library (development files)

OCaml library for managing configuration files (dev files)

Coq library for big numbers

algebra and data structure algorithms for Coq

Primality certification for Coq (library)

Coq library for real analysis

runtime libraries for Coq

development libraries and tools for Coq