Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures.

Piqi is a multi-format data serialization system for OCaml. It provides a uniform interface for serializing OCaml data structures to JSON, XML and Protocol Buffers formats.

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.

This library helps embed location information inside executables and libraries

This extension provides a syntax for string interpolation.

This package is a ppx extension for easier implementation of conversion functions between almost identical types.

Integers of various widths.

Lexer generator for Unicode and OCaml.

This package provides OCaml bindings to the Linux io_uring kernel IO interfaces.

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.

Parses and constructs RFC compliant domain names. The invariants on the length of domain names are preserved throughout the module.

Uses a Mirage CLOCK to write timestamped log messages. It can also log only important messages to the console, while writing all received messages to a ring buffer which is displayed if an exception occurs. If tracing is enabled (via mirage-profile), it also writes each log message to the trace buffer.

GSL-OCaml is an interface to the GNU scientific library (GSL) for the OCaml language.

This library represents dynamic types in OCaml.

Qtest extracts inline unit tests written using a special syntax in comments. Those tests are then run using the oUnit framework and the qcheck library. The possibilities range from trivial tests -- extremely simple to use -- to sophisticated random generation of test cases.

Handle computation results and errors in an explicit and declarative manner, without resorting to exceptions. It defines combinators to operate on the result type available from OCaml 4.03 in the standard library.

This library implements the standard functions used by Dune.

OCaml-Num contains the legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution.

Access monotonic wall-clock time. It measures time spans without being subject to operating system calendar time adjustments.

HeVeA is a LaTeX to HTML translator that generates modern HTML 5. It is written in Objective Caml.

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.

This package provides two union-find data structure implementations for OCaml. Both implementations are based on disjoint sets forests, with path compression and linking-by-rank, so as to guarantee good asymptotic complexity: every operation requires a quasi-constant number of accesses to the store.

This package provides RE-based regular expressions support for Mparser.

Alcotest exposes simple interface to perform unit tests. It exposes a simple TESTABLE module type, a check function to assert test predicates and a run function to perform a list of unit -> unit test callbacks. Alcotest provides a quiet and colorful output where only faulty runs are fully displayed at the end of the run (with the full logs ready to inspect), with a simple (yet expressive) query language to select the tests to run.