Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

This library provides minimal support for Canonical S-expressions. Canonical S-expressions are a binary encoding of S-expressions that is super simple and well suited for communication between programs.

This library only provides a few helpers for simple applications. If you need more advanced support, such as parsing from more fancy input sources, you should consider copying the code of this library given how simple parsing S-expressions in canonical form is.

To avoid a dependency on a particular S-expression library, the only module of this library is parameterised by the type of S-expressions.

Lacaml interfaces the BLAS-library (Basic Linear Algebra Subroutines) and LAPACK-library (Linear Algebra routines). It also contains many additional convenience functions for vectors and matrices.

This package generates JUnit XML reports from ocaml-alcotest test suites.

Library that allows OCaml programs to interact with Python modules and objects. The library also provides low-level bindings to the Python C API.

This library is an alternative to pycaml which is no longer maintained. The Pycaml module provides a signature close to pycaml, to ease migration of code to this library.

base-quickcheck provides randomized testing in the style of Haskell's Quickcheck library, with support for built-in types as well as types provided by Base.

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.

Eio_main selects an appropriate backend (e.g. eio_linux or eio_luv), depending on your platform.

This package is a ppx extension for easier implementation of conversion functions between almost identical types.

Ppx_tools provides tools for authors of ppx rewriters and other syntactic tools.

This package provides OCaml bindings to the Linux io_uring kernel IO interfaces.

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.

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.

HeVeA is a LaTeX to HTML translator that generates modern HTML 5. It is written in Objective Caml.

ppx-sexp-value is a ppx rewriter that simplifies building s-expressions from ocaml values.

Bisect_ppx helps you test thoroughly. It is a small preprocessor that inserts instrumentation at places in your code, such as if-then-else and match expressions. After you run tests, Bisect_ppx gives a nice HTML report showing which places were visited and which were missed.

Usage is simple - add package bisect_ppx when building tests, run your tests, then run the Bisect_ppx report tool on the generated visitation files.

Library for building RPC-style protocols. This library is the portable part of the Unix-oriented Async_rpc library, and is actively used in JavaScript.

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

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

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

Ppx_optcomp stands for Optional Compilation. It is a tool used to handle optional compilations of pieces of code depending of the word size, the version of the compiler, ...

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.

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

Lexer generator for Unicode and OCaml.