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

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

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

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

OCamlbuild is a generic build tool, that has built-in rules for building OCaml library and programs.

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.

Lwt provides typed, composable cooperative threads. These make it easy to run normally-blocking I/O operations concurrently in a single process. Also, in many cases, Lwt threads can interact without the need for locks or other synchronization primitives.

Unit testing framework for OCaml. It is similar to JUnit and other XUnit testing frameworks.

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.

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.

FrontC is an OCAML library providing a C parser and lexer. The result is a syntactic tree easy to process with usual OCAML tree management. It provides support for ANSI C syntax, old-C K&R style syntax and the standard GNU CC attributes. It provides also a C pretty printer as an example of use.

This package contains a compatibility library for Stdlib.Bigarray in OCaml.

This package contains a syntax extension for writing in-line tests in ocaml code. It is part of Jane Street's PPX rewriters collection.

This package provides a non-blocking encoder/decoder of Quoted-Printable according to RFC2045 and RFC2047 (about encoded-word). Useful to translate contents of emails.

Compatibility module for OCaml standard library allowing programs to use some recent additions to the standard library while preserving the ability to be compiled on former versions of OCaml.

The subset of textutils using only core_kernel and working in javascript.

OCamlFormat is a tool to automatically format OCaml code in a uniform style. This package defines a RPC interface to OCamlFormat.

Gen implements iterators of OCaml, that are both restartable and consumable.

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.

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

OCaml is written in OCaml. Its sources contain a pre-compiled bytecode version of ocamlc and ocamllex that are used to build the next version of the compiler. Camlboot implements a bootstrap for the OCaml compiler and provides a bootstrapped equivalent to these files.

It contains a compiler for a small subset of OCaml written in Guile Scheme, an interpreter for OCaml written in that subset and a manually-written lexer for OCaml. These elements eliminate the need for the binary bootstrap in OCaml and can effectively bootstrap OCaml 4.07.

This package produces a native ocamlc and a bytecode ocamllex.

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 library implements structured concurrency for ocaml. It offers no backwards compatibility guarantees.

Lwt provides typed, composable cooperative threads. These make it easy to run normally-blocking I/O operations concurrently in a single process. Also, in many cases, Lwt threads can interact without the need for locks or other synchronization primitives.