Boolean Expression Simplifier
[19-Apr-2012, version
0.9.1.2,
Beta]
The Boolean Expression Simplifier library is an OCaml library providing means to simplify boolean expression.
Findlib
[07-May-2012, version
1.3.0,
Mature]


A library manager for Objective Caml.
Interval computation library
[17-Apr-2012, version
1.2,
Stable]

This is an interval computation library for ocaml.
Jsonm
[07-May-2012, version
0.9.0,
Beta]

Jsonm is a non-blocking streaming codec to decode and encode the JSON data format. It can process JSON text without blocking on IO and without a complete in-memory representation of the data.
The uncut codec also processes whitespace and (non-standard) JSON with JavaScript comments.
llpp
[07-May-2012, version
v12,
Development code]
PDF viewer written in OCaml and mupdf.
ODT
[07-May-2012, version
2.2,
Stable]
The OCaml Development Tools (ODT) project aims to be like the JDT (Java Development Tools) Eclipse plugins. It provides IDE features for OCaml application developments, such as automatic compilation, custom editors...
PEC
[07-May-2012, version
1.1,
Stable]
PEC is a push-based event combinator library for OCaml.
PGOCaml
[17-Apr-2012, version
1.5,
Stable]
PG'OCaml is a type-safe, simple interface to PostgreSQL from OCaml. It lets you embed SQL statements directly into OCaml code.
Uutf
[07-May-2012, version
0.9.0,
Beta]

Uutf is an non-blocking streaming Unicode codec for OCaml to decode and encode the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently work character by character without blocking on IO. Decoders perform character position tracking and support newline normalization.
Functions are also provided to fold over the characters of UTF encoded OCaml string values and to directly encode characters in OCaml Buffer.t values.
Zarith
[17-Apr-2012, version
1.1,
Stable]
The Zarith library implements arithmetic and logical operations
over arbitrary-precision integers. It uses GMP to efficiently
implement arithmetic over big integers. Small integers are
represented as Caml unboxed integers, for speed and space economy.