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

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Performant type-checking for python.

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…

Unison file synchronizer

A code rewrite tool for structural search and replace that supports ~every language.

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

A composable build system for OCaml.

Owl - OCaml Scientific Computing @ https://ocaml.xyz

OCaml bindings for PyTorch

Scilla - A Smart Contract Intermediate Level Language

An OCaml custom runtime for AWS Lambda and Vercel

An experimental type checker for a modal dependent type theory.

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)