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

Helper functions for writing expect tests.

Cstruct is a library and syntax extension to make it easier to access C-like structures directly from OCaml. It supports both reading and writing to these structures, and they are accessed via the Bigarray module.

Merlin is an editor service that provides modern IDE features for OCaml. Emacs and Vim support is provided out-of-the-box. External contributors added support for Visual Studio Code, Sublime Text and Atom.

This package contains an syntax extension to indicate that the code is on the cold path and should be kept out of the way to avoid polluting the instruction cache on the hot path. See also https://github.com/ocaml/ocaml/issues/8563.

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

Parses and constructs RFC compliant domain names. The invariants on the length of domain names are preserved throughout the module.

Dose3 is a framework made of several OCaml libraries for managing distribution packages and their dependencies. Though not tied to any particular distribution, dose3 constitutes a pool of libraries which enable analyzing packages coming from various distributions. Besides basic functionalities for querying and setting package properties, dose3 also implements algorithms for solving more complex problems such as monitoring package evolutions, correct and complete dependency resolution and repository-wide uninstallability checks.

These libraries provides access to low-level compiler interfaces and the standard higher-level merlin protocol.

This package backports some of the new stdlib features to older compilers, such as the Stdlib module. This allows projects that require compatibility with older compiler to use these new features in their code.

IP address types with serialization, supporting a wide range of RFCs.

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 choose the concrete timeline.

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.

The opam monorepo plugin provides a convenient interface to bridge the opam package manager with having a local copy of all the source code required to build a project using the dune build tool.

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.

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.

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.

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.

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

This is the binding for SHA interface code in OCaml, offering the same interface as the MD5 digest included in the OCaml standard library. It currently provides SHA1, SHA256 and SHA512 hash functions.

This package provides a parser of email address according RFC822, RFC2822, RFC5321 and RFC6532. It handles UTF-8 email addresses and encoded-word according RFC2047.

Small implementation of a simple argv parser.

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

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