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.

This library provides facilities to parse version numbers of the OCaml compiler, and enumerates the various official OCaml releases and configuration variants.

Easy-format is a high-level and functional interface to the Format module of the OCaml standard library.

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.

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

Library to connect and control a running dune instance.

Octavius is a library to parse the `ocamldoc` comment syntax.

ppx-fixed-literal is a ppx rewriter that rewrites fixed point literal of the form 1.0v to conversion functions currently in scope.

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.

Stdio implements simple input/output functionalities for OCaml. It re-exports the input/output functions of the OCaml standard libraries using a more consistent API.

A ppx rewriter that inlines reverse application operators |> and |!.

Uunf is an OCaml library for normalizing Unicode text. It supports all Unicode normalization forms. The library is independent from any IO mechanism or Unicode text data structure and it can process text without a complete in-memory representation.

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.

Ctypes is a library for binding to C libraries using pure OCaml. The primary aim is to make writing C extensions as straightforward as possible. The core of ctypes is a set of combinators for describing the structure of C types -- numeric types, arrays, pointers, structs, unions and functions. You can use these combinators to describe the types of the functions that you want to call, then bind directly to those functions -- all without writing or generating any C!

Library for pretty-printing s-expressions, using better indentation rules than the default pretty printer in Sexplib.

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.

Generation of fast comparison functions from type expressions and definitions. Ppx_compare is a ppx rewriter that derives comparison functions from type representations. The scaffolded functions are usually much faster than ocaml's Pervasives.compare. Scaffolding functions also gives you more flexibility by allowing you to override them for a specific type and more safety by making sure that you only compare comparable values.

Hmap provides heterogeneous value maps for OCaml. These maps bind keys to values with arbitrary types. Keys witness the type of the value they are bound to which allows adding and looking up bindings in a type safe manner.

Utilities for working with terminal output, such as color printing.

Eio_linux provides a Linux io-uring backend for Ocaml Eio APIs, plus a low-level API that can be used directly (in non-portable code).

BINSEC is a binary analysis platform which implements analysis techniques such as symbolic execution. The goal of BINSEC is to improve software security at the binary level through binary analysis. BINSEC is a research tool which relies on prior work in binary code analysis at the intersection of formal methods, program analysis security and software engineering.

A ppx rewriter that rewrites simple match statements with an if then else expression.

Biniou (pronounced "be new" is a binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve. Biniou is vastly equivalent to JSON in terms of functionality but allows implementations several times faster (4 times faster than yojson), with 25-35% space savings.

Ocb-stubblr is about ten lines of code that you need to repeat over, over, over and over again if you are using ocamlbuild to build OCaml projects that contain C stubs.