Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

The core OCaml system: compilers, runtime system, base libraries

magic-trace collects and displays high-resolution traces of what a process is doing

MirageOS is a library operating system that constructs unikernels

Irmin is a distributed database that follows the same design principles as Git

A composable build system for OCaml.

Programming Languages Zoo

V2 of Real World OCaml

A toolkit for embedding VPN capabilities in your application

OCaml promises and concurrent I/O

Effects-based direct-style IO for multicore OCaml

Batteries Included project

A lightweight and colourful test framework

Examples to illustrate the use of algebraic effects in Multicore OCaml

A modern supercompiler for call-by-value functional languages

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

Tutorial on Multicore OCaml parallel programming with domainslib

Execute code blocks inside your documentation

Lock-free data structures for multicore OCaml

Parallel Programming over Domains

Software Transactional Memory for OCaml

A deterministic parser with fused lexing