This library is a compatibility module for the Either module defined in OCaml 4.12.0.

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.

OCamlgraph is a generic graph library for OCaml.

This package is a ppx extension for easier implementation of conversion functions between almost identical types.

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.

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!

This package provides OCaml bindings to the Linux io_uring kernel IO interfaces.

Piqilib is the common library used by the piqi command-line tool and piqi-ocaml.

Pure OCaml regular expressions with:

1. Perl-style regular expressions (module Re_perl)

2. Posix extended regular expressions (module Re_posix)

3. Emacs-style regular expressions (module Re_emacs)

4. Shell-style file globbing (module Re_glob)

5. Compatibility layer for OCaml's built-in Str module (module Re_str)

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

Camlp5 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions).

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.

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.

Utilities for working with terminal output, such as color printing.

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.

Implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

A ppx rewriter that rewrites simple match statements with an if then else expression.

Integers of various widths.

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.

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.

Cubicle is a model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems.

Ppx_sexp_message aims to ease the creation of s-expressions in OCaml. This is mainly motivated by writing error and debugging messages, where one needs to construct a s-expression based on various element of the context such as function arguments.

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 subset of textutils using only core_kernel and working in javascript.