Eio_linux provides a Linux io-uring backend for Ocaml Eio APIs, plus a low-level API that can be used directly (in non-portable code).

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.

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

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

Utilities for working with terminal output, such as color printing.

Library for passing boot parameters from Solo5 to MirageOS.

Fmt exposes combinators to devise Format pretty-printing functions.

This library offers a lightweight way for applications protocols to version themselves. The more protocols that add themselves to Known_protocol, the nicer error messages we will get when connecting to a service while using the wrong protocol.

This package contains a compatibility library for Stdlib.Bigarray in OCaml.

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

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 implements portable support for an operating system timesource that is compatible with the MirageOS library interfaces. It implements an MCLOCK module that represents a monotonic timesource since an arbitrary point, and PCLOCK which counts time since the Unix epoch.

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

TyXML provides a set of convenient combinators that uses the OCaml type system to ensure the validity of the generated documents. TyXML can be used with any representation of HTML and SVG: the textual one, provided directly by this package, or DOM trees (js_of_ocaml-tyxml) virtual DOM (virtual-dom) and reactive or replicated trees (eliom). You can also create your own representation and use it to instantiate a new set of combinators.

Library for pretty-printing s-expressions, using better indentation rules than the default pretty printer in Sexplib.

OCamlFormat is a tool to automatically format OCaml code in a uniform style.

Contains Async's core data structures, like Deferred. Async_kernel is portable, and so can be used in JavaScript using Async_js.

OASIS is a tool to integrate a configure, build and install system in your OCaml projects. It helps to create standard entry points in your build system and allows external tools to analyse your project easily.

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

Timezone handles parsing timezone data and create Timezone.t that can later be used to manipulate time in core_kernel or core.

Helper functions for writing expect tests.

Ppx_yojson_conv_lib is the runtime library used by ppx_yojson_conv, a ppx rewriter that can be used to convert ocaml types to a Yojson.Safe value.

Monolith offers facilities for testing an OCaml library (for instance, a data structure implementation) by comparing it against a reference implementation. It can be used to perform either random testing or fuzz testing by using the afl-fuzz tool.

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.