Xmlm is a streaming codec to decode and encode the XML data format. It can process XML documents without a complete in-memory representation of the data.

Core is an alternative to the OCaml standard library.

Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript.

This package provides a bundle of useful runtime functions for applications built with MirageOS

Unix-related dependencies for things like system calls and threads. Using these, it hooks the Async_kernel scheduler up to either epoll or select, depending on availability, and manages a thread pool that blocking system calls run in.

IP address types with serialization, supporting a wide range of RFCs.

This library provides facilities to parse version numbers of the OCaml compiler, and enumerates the various official OCaml releases and configuration variants.

The "findlib" library provides a scheme to manage reusable software components (packages), and includes tools that support this scheme. Packages are collections of OCaml modules for which metainformation can be stored. The packages are kept in the file system hierarchy, but with strict directory structure. The library contains functions to look the directory up that stores a package, to query metainformation about a package, and to retrieve dependency information about multiple packages. There is also a tool that allows the user to enter queries on the command-line. In order to simplify compilation and linkage, there are new frontends of the various OCaml compilers that can directly deal with packages.

This library represents element ordering in 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 chooses the concrete timeline.

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.

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

This package allows you to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format.

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.

ocaml-dot-merlin-reader is an external reader for ocaml-merlin configurations.

This OCaml library provides an equal function on string in constant-time to avoid timing-attack with crypto stuff.

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.

This package provides a deprecated logging component for ocaml lwt.

This package includes only the ocp-index library and command-line tool.

Uunf is an OCaml library for normalizing Unicode text. It supports all Unicode normalization forms. The library is independent from any IO mechanism or Unicode text data structure and it can process text without a complete in-memory representation.

Camlp5 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions).

This package generates JUnit XML reports from ocaml-alcotest test suites.

Used to trace execution of OCaml/Lwt programs (such as Mirage unikernels) at the level of Lwt threads. The traces can be viewed using JavaScript or GTK viewers provided by mirage-trace-viewer or processed by tools supporting the Common Trace Format. When compiled against a normal version of Lwt, OCaml's cross-module inlining will optimise these calls away, meaning there should be no overhead in the non-profiling case.

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.

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