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.

Pack JS code fast & easy

Compiler from OCaml to Javascript.

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

Reason native compilation starter project

TypeScript to js_of_ocaml