Library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS and then compiled into a fully-standalone, specialised unikernel.

Xml-Light provides functions to parse an XML document into an OCaml data structure, work with it, and print it back to an XML document. It also supports DTD parsing and checking, and is entirely written in OCaml, hence it does not require additional C libraries.

DSL to describe a set of modules and functors, their types and how to apply them in order to produce a complete application. The main use case is mirage.

OUnit2 is a unit testing framework for OCaml. It is similar to JUnit and other XUnit testing frameworks.

Fpath is an OCaml module for handling file system paths with POSIX or Windows conventions. Fpath processes paths without accessing the file system and is independent from any system library.

Comma separated values (CSV) is a simple tabular format supported by all major spreadsheets. This library implements pure OCaml functions to read and write files in this format as well as some convenience functions to manipulate such data.

Uses the new result type defined in OCaml >= 4.03 while staying compatible with older version of OCaml should use the Result module defined in this library.

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.

Libraries for creating shared memory producer/consumer rings. The rings follow the Xen ABI and may be used to create or implement Xen virtual devices.

This library represents dynamic types in OCaml.

Expect-test is a framework for writing tests in OCaml, similar to Cram. Expect-tests mimics the existing inline tests framework with the let%expect_test construct. The body of an expect-test can contain output-generating code, interleaved with %expect extension expressions to denote the expected output.

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

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.

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

An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable Integer Maps.'

Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver. Mccs take as input a CUDF problem and computes the best solution according to a set of criteria. It relies on a Integer Programming solver or a Pseudo Boolean solver to achieve its task. Mccs can use a wide set of underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.

A comprehensive toolbox for ppx development. It features:

• an OCaml AST / parser / pretty-printer snapshot, to create a full frontend independent of the version of OCaml;

• a library for library for ppx rewriters in general, and type-driven code generators in particular;

• a feature-full driver for OCaml AST transformers;

• a quotation mechanism allowing to write values representing the OCaml AST in the OCaml syntax;

• a generator of open recursion classes from type definitions.

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.

Small implementation of a simple argv parser.

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

Yojson is an optimized parsing and printing library for the JSON format. It addresses a few shortcomings of json-wheel including 2x speedup, polymorphic variants and optional syntax for tuples and variants. ydump is a pretty printing command-line program provided with the yojson package. The program atdgen can be used to derive OCaml-JSON serializers and deserializers from type definitions.

Syntax extension for writing in-line benchmarks in ocaml code.

Cmdliner is a module for the declarative definition of command line interfaces. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands and respects most of the POSIX and GNU conventions.

Spawn is a small library exposing only one functionality: spawning sub-process.

It has three main goals:

• provide missing features of Unix.create_process such as providing a working directory,

• provide better errors when a system call fails in the sub-process. For instance if a command is not found, you get a proper Unix.Unix_error exception,

• improve performances by using vfork when available. It is often claimed that nowadays fork is as fast as vfork, however in practice fork takes time proportional to the process memory while vfork is constant time. In application using a lot of memory, vfork can be thousands of times faster than fork.