Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

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

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Programming language for literate programming law specification

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

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

A composable build system for OCaml.

Tidy, feature-complete Web framework

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

V2 of Real World OCaml

A toolkit for embedding VPN capabilities in your application

Compiler from OCaml to Javascript.

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Universal toplevel for OCaml

OCaml Language Server Protocol implementation

OCaml promises and concurrent I/O

An OCaml library for HTTP clients and servers using Lwt or Async

Effects-based direct-style IO for multicore OCaml

A high performance, memory efficient, and scalable web server written in OCaml

QuickCheck inspired property-based testing for OCaml.

Visual Studio Code extension for OCaml

Low-level JSON parsing and pretty-printing library for OCaml

Documentation compiler for OCaml and Reason

Declarative definition of command line interfaces for OCaml

Code coverage for OCaml and ReScript

Web library for OCaml with support for HTTP/1.X / HTTP/2

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

A shell library for OCaml

A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries