ocaml-dot-merlin-reader is an external reader for ocaml-merlin configurations.

This package provides helpers with various constructions that involve memoization and recursion.

Generation of binary serialization and deserialization functions from type definitions.

This package contains deriving conversion functions to and from yaml for OCaml types.

Extensions to printf-style format-strings for user-defined string conversion.

This package contains a parser and a pretty-printer for the opam file format.

This library parses ocaml compiler output and returns it as ocaml values. This library offers no backwards compatibility guarantees.

The ocaml-integers library provides a number of 8-, 16-, 32- and 64-bit signed and unsigned integer types, together with aliases such as long and size_t whose sizes depend on the host platform.

Dedukti is a proof-checker for the λΠ-calculus modulo theory. The λΠ-calculus is an extension of the simply typed λ-calculus with dependent types. The λΠ-calculus modulo theory is itself an extension of the λΠ-calculus where the context contains variable declaration as well as rewrite rules. This system is not designed to develop proofs, but to check proofs developed in other systems. In particular, it enjoys a minimalistic syntax.

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.

This package provides a way to write bitstrings and matching over bitsrings in Erlang style as primitives to the language.

Ppx_tools provides tools for authors of ppx rewriters and other syntactic tools.

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.

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.

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

Camlidl is a stub code generator for Objective Caml. It generates stub code for interfacing Caml with C from an IDL description of the C functions.

Ppx_deriving provides common infrastructure for generating code based on type definitions, and a set of useful plugins for common tasks.

The uchar package provides a compatibility library for the `Uchar` module introduced in OCaml 4.03.

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.

Eio_luv provides a cross-platform backend for Ocaml Eio's APIs using luv (libuv)

This OCaml library offers a set of combinators for building so-called documents as well as an efficient engine for converting documents to a textual, fixed-width format. The engine takes care of indentation and line breaks, while respecting the constraints imposed by the structure of the document and by the text width.

Hex is a minimal library providing hexadecimal converters.

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.

This package provides an OCaml library for interacting with files in the TOML format. Specifically, it provides a parser, a serializer, and a pretty printer.