Base is a complete and portable alternative to the OCaml standard library. It provides all standard functionalities one would expect from a language standard library. It uses consistent conventions across all of its module.

Base aims to be usable in any context. As a result system dependent features such as I/O are not offered by Base. They are instead provided by companion libraries such as ocaml-stdio.

This package provides ppx_sexp_message-like extension nodes for lazily rendering log messages.

Access monotonic wall-clock time. It measures time spans without being subject to operating system calendar time adjustments.

Digestif is an OCaml library that provides implementations of hash algorithms. Implemented hash algorithms include MD5, SHA1, SHA224, SHA256, SHA384, SHA512, Blake2b, Blake2s and RIPEMD160.

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.

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

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

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.

This package backports some of the new stdlib features to older compilers, such as the Stdlib module. This allows projects that require compatibility with older compiler to use these new features in their code.

OCamlify creates OCaml source code by including whole files into OCaml string or string list. The code generated can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code.

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

Down is an unintrusive user experience upgrade for the ocaml toplevel (REPL).

Simply load the zero dependency down library in the ocaml toplevel and you get line edition, history, session support and identifier completion and documentation with ocp-index.

Add this to your ~/.ocamlinit:

#use "down.top"

You may also need to add this to your ~/.ocamlinit and declare the environment variable OCAML_TOPLEVEL_PATH:

let () =
  try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
  with Not_found -> ()

OR

let () = String.split_on_char ':' (Sys.getenv "OCAMLPATH")
         |> List.filter (fun x -> Filename.check_suffix x "/site-lib")
         |> List.map (fun x -> x ^ "/toplevel")
         (* remove the line below if you don't want to see the text
            every time you start the toplevel *)
         |> List.map (fun x -> Printf.printf "adding directory %s\n" x; x)
         |> List.iter Topdirs.dir_directory;;

Binary Analysis Platform is a framework for writing program analysis tools, that target binary files. The framework consists of a plethora of libraries, plugins, and frontends. The libraries provide code reusability, the plugins facilitate extensibility, and the frontends serve as entry points.

Crowbar is a library for testing code, combining QuickCheck-style property-based testing and the magical bug-finding powers of afl-fuzz.

Tuareg helps editing OCaml code, to highlight important parts of the code, to run an OCaml REPL, and to run the OCaml debugger within Emacs.

This package allows one to access information about how the executable was built, such as the version of the project at which it was built or the list of statically linked libraries with their versions. It supports reporting the version from the version control system during development to get an precise reference of when the executable was built.

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

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.

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.

This package backports new language features such as let+ to older OCaml compilers.

This library provides Functional Priority Search Queues for OCaml. Typical applications are searches, schedulers and caches.

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

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 library implements portable support for an operating system timesource that is compatible with the MirageOS library interfaces. It implements an MCLOCK module that represents a monotonic timesource since an arbitrary point, and PCLOCK which counts time since the Unix epoch.