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

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Context sensitive completion for OCaml in Vim and Emacs

A functional programming language based on algebraic effect handlers

EasyCrypt: Computer-Aided Cryptographic Proofs

A proof assistant for general type theories

Formal verification for OCaml

😎TT

Terminal manipulation library for OCaml

Implementation of the λΠ-calculus modulo rewriting

An open world adventure and dungeon crawling game

Real number computation software

A prototype programming language for programming with runners

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

EGraphs in OCaml

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

An enhanced unification algorithm for Coq

Runtime types for OCaml (beta version)

Gradual verification

A Language for Oblivious Computation