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

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

Performant type-checking for python.

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…

Context sensitive completion for OCaml in Vim and Emacs

Hardcaml is an OCaml library for designing hardware.

Adds Reason to the browser

Hygienic typed literal macros (TLMs) for Reason

The legacy OCamlbuild build manager

Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally dev…

A universal proof checker