An Emacs framework for the stubborn martian hacker

Streaming client for OCaml's Memprof

CakeML: A Verified Implementation of ML

OCaml Language Server Protocol implementation

A composable build system for OCaml.

A versatile (cross-)toolchain generator.

Auto-formatter for OCaml code

Alive: Automatic LLVM's Instcombine Verifier

The user-friendly command line shell.

An HTML documentation generator for Coq source files

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…

Preprocessor / Pretty Printer for OCaml

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

a dlopen-like API for Windows

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

Context sensitive completion for OCaml in Vim and Emacs

Assembler for the MOS Technology 6502