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

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

A composable build system for OCaml.

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

OCamlPro public development repository for Alt-Ergo