Stars
An Emacs framework for the stubborn martian hacker
A versatile (cross-)toolchain generator.
An HTML documentation generator for Coq source files
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
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