Stars
An Emacs framework for the stubborn martian hacker
A versatile (cross-)toolchain generator.
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…
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
The core OCaml system: compilers, runtime system, base libraries
Context sensitive completion for OCaml in Vim and Emacs