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…

MirageOS is a library operating system that constructs unikernels

A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binarie…

An OCaml bytecode to LLVM compiler

Just-In-Time compiler for the OCaml byte-code runtime.

Native toplevel for the OCaml language

Red-Black Trees for OCaml.

Outdated version of an LLVM based backend for OCaml. Newer version:

Various experimental changes to OCaml.

New ARM backend for the OCaml native code compiler with support for both armel and armhf.

My OCaml development repository

OCaml Library Manager (GitHub mirror)

A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binarie…