This package provides the core modules of Modal Editing Witch, a general modal editing engine generator.

Library to provide pure OCaml functions to manipulate real file (POSIX like) and filename.

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

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

Library for passing boot parameters from Solo5 to MirageOS.

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.

This package provides ppx_sexp_message-like extension nodes for lazily rendering log messages.

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

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

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

This library adds new functions to OCaml standard library modules, modifies some functions in order to get better performances or safety (tail-recursive) and also provides new modules which should be useful for day to day programming.

This package installs a ppx-jane executable, which is a ppx driver including all standard Jane Street ppx rewriters.

This package provides the MirageOS `OS` library for Unix targets, which handles the main loop and timers.

This project provides a Mmap.map_file function for mapping files in memory. This function is the same as the Unix.map_file function added in OCaml >= 4.06.

CamlPDF is an OCaml library that provides functionality for reading, writing, and modifying PDF files. It serves as the foundation for the cpdf command-line tool and various API bindings.

Integers of various widths.

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.

ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals.

This library represents element ordering in OCaml.

Unison is a file-synchronization tool. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

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.

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.

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.

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.