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…

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

A composable build system for OCaml.

Context sensitive completion for OCaml in Vim and Emacs

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

the core 0install package

Simplify the configuration of editors for using OCaml tools

The best way for developers to write software in OCaml

Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server

AS2 compiler