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

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

Performant type-checking for python.

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…

A language that compiles to Bash and Windows Batch

Implementations of various type systems in OCaml.

A functional programming language based on algebraic effect handlers

💠 Converts Flow and TypeScript definitions to Reason interfaces

TLS in pure OCaml

JavaScript signature notation

OCaml with typed algebraic effects

Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language

Moana implementation in OCaml

Experiments implementing some advanced type features from TypeScript.