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

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

💠 Converts Flow and TypeScript definitions to Reason interfaces

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

TLS in pure OCaml

Immutable collections for the Reason programming language.

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.