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…

Irmin is a distributed database that follows the same design principles as Git

A compiler for a tiny (but growing!) subset of C, written in OCaml.

Full Stack ReasonML Tutorials

Shoo is a statically typed programming language with first-class functions, structs, and arrays.