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

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…

Tools for code analysis, visualizations, or style-preserving source transformation.

All the ML code examples from the book "The Little MLer"