Cubicle is a model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems.

Cmdliner is a module for the declarative definition of command line interfaces. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands and respects most of the POSIX and GNU conventions.

This package generates accessors and iteration functions for OCaml variant types.

OCamlbuild is a generic build tool, that has built-in rules for building OCaml library and programs.

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.

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 provides two library modules:

• Stream: imperative streams, with in-place update and memoization of the latest element produced.

• Genlex: a small parameterized lexical analyzer producing streams of tokens from streams of characters.

The two modules are designed for use with Camlp4 and Camlp5: The stream patterns and stream expressions of Camlp4/Camlp5 consume and produce data of type 'a Stream.t. The Genlex tokenizer can be used as a simple lexical analyzer for Camlp4/Camlp5-generated parsers.

The Stream module can also be used by hand-written recursive-descent parsers, but is not very convenient for this purpose.

The Stream and Genlex modules have been part of the OCaml standard library for a long time, and have been distributed as part of the core OCaml system. They will be removed from the OCaml standard library at some future point, but will be maintained and distributed separately in the camlpstreams package.

Timed references for imperative state. This module provides an alternative type for references (or mutable cells) supporting undo/redo operations. In particular, an abstract notion of time is used to capture the state of the references at any given point, so that it can be restored. Note that usual reference operations only have a constant time / memory overhead (compared to those of the standard library).

Moreover, we provide an alternative implementation based on the references of the standard library (Pervasives module). However, it is less efficient than the first one.

Luv is a binding to libuv, the cross-platform C library that does asynchronous I/O in Node.js and runs its main loop. Besides asynchronous I/O, libuv also supports multiprocessing and multithreading. Multiple event loops can be run in different threads. libuv also exposes a lot of other functionality, amounting to a full OS API, and an alternative to the standard module Unix.

Hex is a minimal library providing hexadecimal converters.

This package contains a parser and a pretty-printer for the opam file format.

Ocp-indent is based on an approximate, tolerant OCaml parser and a simple stack machine. Presets and configuration options are available, with the possibility to set them project-wide. It supports the most common syntax extensions, and it is extensible for others.

This package includes:

• An indentor program, callable from the command-line or from within editors,

• Bindings for popular editors,

• A library that can be directly used by editor writers, or just for fault-tolerant and approximate parsing.

Crowbar is a library for testing code, combining QuickCheck-style property-based testing and the magical bug-finding powers of afl-fuzz.

Client-side URL transfer library, supporting HTTP and a multitude of other network protocols (FTP/SMTP/RTSP/etc).

This library is a compatibility module for the Either module defined in OCaml 4.12.0.

opam-installer is a tool for installing OCaml packages based on .install files defined by the OPAM package manager. It is useful for installing OCaml packages without requiring the entirety of OPAM.

This package is a collection of ppx rewriters that generate hash functions from type exrpessions and definitions.

Cstruct is a library and syntax extension to make it easier to access C-like structures directly from OCaml. It supports both reading and writing to these structures, and they are accessed via the Bigarray module.

OCamlify creates OCaml source code by including whole files into OCaml string or string list. The code generated can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code.

Tuareg helps editing OCaml code, to highlight important parts of the code, to run an OCaml REPL, and to run the OCaml debugger within Emacs.

Modules using ppx_module_timer have instrumentation to record their startup time.

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.

Optimised functions to read and write int16/32/64 from strings and bigarrays, based on new primitives added in version 4.01. It works on strings, bytes and bigstring (Bigarrys of chars), and provides submodules for big- and little-endian, with their unsafe counter-parts.

This OCaml library provides two new integer types, Optint.t and Int63.t, which guarantee efficient representation on 64-bit architectures and provide a best-effort boxed representation on 32-bit architectures.