OCaml-Num contains the legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution.

ppx_bap is the set of blessed ppx rewriters used in BAP projects. It fills the same role as ppx_base or ppx_jane (from which it is derived), but doesn't impose any style requirements and has only the minimal necessary set of rewriters.

Small implementation of a simple argv parser.

This library provides generic parsers for parsing S-expressions from strings or other medium.

The library is focused on performances but still provide full generic parsers that can be used with strings, bigstrings, lexing buffers, character streams or any other sources effortlessly.

It provides three different class of parsers:

• the normal parsers, producing [Sexp.t] or [Sexp.t list] values

• the parsers with positions, building compact position sequences so that one can recover original positions in order to report properly located errors at little cost

• the Concrete Syntax Tree parsers, produce values of type Parsexp.Cst.t which record the concrete layout of the s-expression syntax, including comments

This library is portable and doesn't provide IO functions. To read s-expressions from files or other external sources, you should use parsexp_io.

Bindings providing OCaml support for the seminal Fast Fourier Transform library FFTW.

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

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 the core modules of Modal Editing Witch, a general modal editing engine generator.

This library represents dynamic types in OCaml.

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

Qtest extracts inline unit tests written using a special syntax in comments. Those tests are then run using the oUnit framework and the qcheck library. The possibilities range from trivial tests -- extremely simple to use -- to sophisticated random generation of test cases.

Jsonm is a non-blocking streaming codec to decode and encode the JSON data format. It can process JSON text without blocking on IO and without a complete in-memory representation of the data.

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.

Part of Jane Street's Core library The Core suite of libraries is an industrial strength alternative to OCaml's standard library that was developed by Jane Street, the largest industrial user of OCaml.

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.

Ppx_base is the set of ppx rewriters used for Base.

Note that Base doesn't need ppx to build, it is only used as a verification tool.

This package allows you to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format.

This library implements structured concurrency for ocaml. It offers no backwards compatibility guarantees.

UTop is an improved toplevel for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.

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.

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

CUDF is a format for describing upgrade scenarios in package-based software distributions.

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.

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.