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.

ppx-sexp-value is a ppx rewriter that simplifies building s-expressions from ocaml values.

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

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.

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

Generation of binary serialization and deserialization functions from type definitions.

Lexer generator for Unicode and OCaml.

Ctypes is a library for binding to C libraries using pure OCaml. The primary aim is to make writing C extensions as straightforward as possible. The core of ctypes is a set of combinators for describing the structure of C types -- numeric types, arrays, pointers, structs, unions and functions. You can use these combinators to describe the types of the functions that you want to call, then bind directly to those functions -- all without writing or generating any C!

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.

Markup.ml provides an HTML parser and an XML parser. The parsers are wrapped in a simple interface: they are functions that transform byte streams to parsing signal streams. Streams can be manipulated in various ways, such as processing by fold, filter, and map, assembly into DOM tree structures, or serialization back to HTML or XML.

Both parsers are based on their respective standards. The HTML parser, in particular, is based on the state machines defined in HTML5.

The parsers are error-recovering by default, and accept fragments. This makes it very easy to get a best-effort parse of some input. The parsers can, however, be easily configured to be strict, and to accept only full documents.

Apart from this, the parsers are streaming (do not build up a document in memory), non-blocking (can be used with threading libraries), lazy (do not consume input unless the signal stream is being read), and process the input in a single pass. They automatically detect the character encoding of the input stream, and convert everything to UTF-8.

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.

This package provides a deprecated logging component for ocaml lwt.

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

ocaml-mdx executes code blocks inside markdown files. There are (currently) two sub-commands, corresponding to two modes of operations: pre-processing (ocaml-mdx pp) and tests (ocaml-mdx test]).

The pre-processor mode allows mixing documentation and code, and to practice literate programming using markdown and OCaml.

The test mode ensures that shell scripts and OCaml fragments in the documentation always stays up-to-date.

ocaml-mdx is released as two binaries called ocaml-mdx and mdx which are the same, mdx being the deprecated name, kept for now for compatibility.

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.

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

This package provides a splittable PRNG functions like a PRNG that can be used as a stream of random values; it can also be split to produce a second, independent stream of random values.

This library implements a splittable pseudo-random number generator that sacrifices cryptographic-quality randomness in favor of performance.

Stdio implements simple input/output functionalities for OCaml. It re-exports the input/output functions of the OCaml standard libraries using a more consistent API.

Traditional implementation of priority queues using a binary heap encoded in a resizable array.

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

Astring exposes an alternative String module for OCaml. This module balances minimality and expressiveness for basic, index-free, string processing and provides types and functions for substrings, string sets and string maps. The String module exposed by Astring has exception safe functions, removes deprecated and rarely used functions, alters some signatures and names, adds a few missing functions and fully exploits OCaml's newfound string immutability.

Bindings providing OCaml support for the seminal Fast Fourier Transform library FFTW.

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.

Library for building RPC-style protocols. This library is the portable part of the Unix-oriented Async_rpc library, and is actively used in JavaScript.