Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

CamlPDF is an OCaml library that provides functionality for reading, writing, and modifying PDF files. It serves as the foundation for the cpdf command-line tool and various API bindings.

Odoc is a documentation generator for OCaml. It reads doc comments, delimited with (** ... *), and outputs HTML.

Text inside doc comments is marked up in ocamldoc syntax. Odoc's main advantage over ocamldoc is an accurate cross-referencer, which handles the complexity of the OCaml module system.

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

This package installs a ppx-jane executable, which is a ppx driver including all standard Jane Street ppx rewriters.

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.

Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler features not yet upstreamed.

This package simply repackages the OCaml compiler libraries so they don't expose everything at toplevel. For instance, Ast_helper is now Ocaml_common.Ast_helper.

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.

Bos provides support for basic and robust interaction with the operating system in OCaml. It has functions to access the process environment, parse command line arguments, interact with the file system and run command line programs.

The Core suite of libraries is an alternative to OCaml's standard library.

Piqilib is the common library used by the piqi command-line tool and piqi-ocaml.

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.

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

• test if a C program compiles

• query pkg-config

• import #define from OCaml header files

• generate config.h file

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.

This module provides a set of tools to measure the running times of your functions and to easily compare the results. A statistical test is used to determine whether the results truly differ.

Earley is a parser combinator library base on Earley's algorithm. It is intended to be used in conjunction with an OCaml syntax extension which allows the definition of parsers inside the language. There is also support for writing OCaml syntax extensions in a camlp4 style.

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.

These libraries provides access to low-level compiler interfaces and the standard higher-level merlin protocol.

This OCaml library provides an implementation of a mutable doubly-linked list with Lwt iterators.

Lexer generator for Unicode and OCaml.

UTop is an improved toplevel for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.