Adds Erlang-style bitstrings and matching over bitstrings as a syntax extension and library for OCaml. You can use this module to both parse and generate binary formats, files and protocols. Bitstring handling is added as primitives to the language, making it exceptionally simple to use and very powerful.

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.

This library provides Functional Priority Search Queues for OCaml. Typical applications are searches, schedulers and caches.

ppx_bap is the set of blessed ppx rewriters used in BAP projects. It fills the same role as ppx_base or ppx_jane (from which it is derived), but doesn't impose any style requirements and has only the minimal necessary set of rewriters.

IO pages are page-aligned, and wrapped in the Cstruct library to avoid copying the data contained within the page.

Uuidm is an OCaml module implementing 128 bits universally unique identifiers (UUIDs) version 3, 5 (named based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122.

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.

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.

BEnchmark for a CHAMEL/camel/caml which is agnostic to the system. It's a micro-benchmark tool for OCaml which lets the user to re-analyzes and prints samples.

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

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

OPAM is a tool to manage OCaml packages. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

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.

Library that allows OCaml programs to interact with Python modules and objects. The library also provides low-level bindings to the Python C API.

This library is an alternative to pycaml which is no longer maintained. The Pycaml module provides a signature close to pycaml, to ease migration of code to this library.

Unit testing framework for OCaml. It is similar to JUnit and other XUnit testing frameworks.

Ppx_deriving provides common infrastructure for generating code based on type definitions, and a set of useful plugins for common tasks.

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.

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.

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).

Menhir is a parser generator. It turns high-level grammar specifications, decorated with semantic actions expressed in the OCaml programming language into parsers, again expressed in OCaml. It is based on Knuth’s LR(1) parser construction technique.

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

CUDF is a format for describing upgrade scenarios in package-based software distributions.

Lwt provides typed, composable cooperative threads. These make it easy to run normally-blocking I/O operations concurrently in a single process. Also, in many cases, Lwt threads can interact without the need for locks or other synchronization primitives.

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