This package backports new language features such as let+ to older OCaml compilers.

Gen implements iterators of OCaml, that are both restartable and consumable.

ppx-fixed-literal is a ppx rewriter that rewrites fixed point literal of the form 1.0v to conversion functions currently in scope.

Uses the new result type defined in OCaml >= 4.03 while staying compatible with older version of OCaml should use the Result module defined in this library.

This library provides minimal support for Canonical S-expressions. Canonical S-expressions are a binary encoding of S-expressions that is super simple and well suited for communication between programs.

This library only provides a few helpers for simple applications. If you need more advanced support, such as parsing from more fancy input sources, you should consider copying the code of this library given how simple parsing S-expressions in canonical form is.

To avoid a dependency on a particular S-expression library, the only module of this library is parameterised by the type of S-expressions.

Ppx_fields_conv is a ppx rewriter that can be used to define first class values representing record fields, and additional routines, to get and set record fields, iterate and fold over all fields of a record and create new record values.

This package contains deriving conversion functions to and from yaml for OCaml types.

Camlidl is a stub code generator for Objective Caml. It generates stub code for interfacing Caml with C from an IDL description of the C functions.

SQLite3-OCaml is an OCaml library with bindings to the SQLite3 client API. Sqlite3 is a self-contained, serverless, zero-configuration, transactional SQL database engine with outstanding performance for many use cases. These bindings are written in a way that enables a friendly coexistence with the old (version 2) SQLite and its OCaml wrapper ocaml-sqlite.

Ppx_enumerate is a ppx rewriter which generates a definition for the list of all values of a type (for a type which only has finitely many values).

Library for asynchronous programming, i.e., programming where some part of the program must wait for things that happen at times determined by some external entity (like a human or another program).

Ppx_sexp_message aims to ease the creation of s-expressions in OCaml. This is mainly motivated by writing error and debugging messages, where one needs to construct a s-expression based on various element of the context such as function arguments.

Ezjsonm provides more convenient (but far less flexible) input and output functions that go to and from [string] values than jsonm. This avoids the need to write signal code, which is useful for quick scripts that manipulate JSON.

Lexer generator for Unicode and OCaml.

This library parses ocaml compiler output and returns it as ocaml values. This library offers no backwards compatibility guarantees.

QuickCheck inspired property-based testing for OCaml. This module checks invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.

A ppx rewriter that inlines reverse application operators |> and |!.

This library represents dynamic types in OCaml.

OCaml-uri is a library for parsing URI/URL in the RFC3986 format.

This module implements strict impure trie tree data structure for OCaml.

React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values: declarative events and signals. React doesn't define any primitive event or signal, it lets the client choose the concrete timeline.

Lacaml interfaces the BLAS-library (Basic Linear Algebra Subroutines) and LAPACK-library (Linear Algebra routines). It also contains many additional convenience functions for vectors and matrices.

Typerep is a library for runtime types.

The uchar package provides a compatibility library for the `Uchar` module introduced in OCaml 4.03.