Define a standard set of libraries which may be expected on every compliant installation of OCaml and organize these libraries into a hierarchy of modules.

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.

Used to trace execution of OCaml/Lwt programs (such as Mirage unikernels) at the level of Lwt threads. The traces can be viewed using JavaScript or GTK viewers provided by mirage-trace-viewer or processed by tools supporting the Common Trace Format. When compiled against a normal version of Lwt, OCaml's cross-module inlining will optimise these calls away, meaning there should be no overhead in the non-profiling case.

Ezjsonm provides more convenient (but far less flexible) input and output functions that go to and from [string] values than jsonm. This avoids the need to write signal code, which is useful for quick scripts that manipulate JSON.

This package is a no-op ppx rewriter. It is used as a lint tool to enforce some coding conventions across all Jane Street packages.

Astring exposes an alternative String module for OCaml. This module balances minimality and expressiveness for basic, index-free, string processing and provides types and functions for substrings, string sets and string maps. The String module exposed by Astring has exception safe functions, removes deprecated and rarely used functions, alters some signatures and names, adds a few missing functions and fully exploits OCaml's newfound string immutability.

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.

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.

This package provides RE-based regular expressions support for Mparser.

Ocaml-junit is a package for the creation of JUnit XML reports. It provides a typed API to produce valid reports. They are supposed to be accepted by Jenkins.

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.

Ppx_yojson_conv_lib is the runtime library used by ppx_yojson_conv, a ppx rewriter that can be used to convert ocaml types to a Yojson.Safe value.

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

This package provides a GLR parser generator for OCaml. It is able to generate self-extensible parsers (also called adaptive parsers) as well as extensible lexers for the parsers it produces.

C header files shared between the various Jane Street packages.

Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures.

The OCaml compiler has a bunch of intrinsics for Bigstrings, but they're not widely-known, sometimes misused, and so programs that use Bigstrings are slower than they have to be. And even if a library got that part right and exposed the intrinsics properly, the compiler doesn't have any fast blits between Bigstrings and other string-like types. bigstringaf provides these missing pieces.

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.

Output trace data to a file in Chrome's trace_event format. This format is compatible with chrome trace viewer chrome://tracing. This library offers no backwards compatibility guarantees.

SQLite3-OCaml is an OCaml library with bindings to the SQLite3 client API. Sqlite3 is a self-contained, serverless, zero-configuration, transactional SQL database engine with outstanding performance for many use cases. These bindings are written in a way that enables a friendly coexistence with the old (version 2) SQLite and its OCaml wrapper ocaml-sqlite.

Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, colors, as well as a set of widgets to write curses-like applications. The main objective of Lambda-Term is to provide a higher level functional interface to terminal manipulation than, for example, ncurses, by providing a native OCaml interface instead of bindings to a C library.

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

• test if a C program compiles

• query pkg-config

• import #define from OCaml header files

• generate config.h file

This library implements the standard functions used by Dune.

Provides easy access to compressed files in ZIP, GZIP and JAR format. It provides functions for reading from and writing to compressed files in these formats.