Adds static typing to JavaScript to improve developer productivity and code quality.

A static analyzer for Java, C, C++, and Objective-C

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

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…

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

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Full Stack ReasonML Tutorials

Sorry about the name

Tools for a compilers course

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

functional neural networks in ocaml

Barry Jay's (bond-eye) pattern language