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

The core OCaml system: compilers, runtime system, base libraries

Unison file synchronizer

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

A toolkit for embedding VPN capabilities in your application

Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.

Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/index.fr.html)