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

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

Unison file synchronizer

Irmin is a distributed database that follows the same design principles as Git

Tidy, feature-complete Web framework

Context sensitive completion for OCaml in Vim and Emacs

Connect processes into powerful data pipelines with a simple git-like filesystem interface

🍬 a functional language for building type-safe, scalable, and maintainable applications

Bolt is a language with in-built data-race freedom!

a little game

OCaml bindings for PyTorch

A PDF parser and validator

Writing Emacs plugin in OCaml

Full Stack ReasonML Tutorials

Hygienic typed literal macros (TLMs) for Reason

A static parser for POSIX Shell

Purely functional SSH library in ocaml.

Implementing a spatial model inspired by Material Shell, for i3 and sway.

functional neural networks in ocaml

ppx extension for string interpolation

Prof. Spacetime

A search index specialised for LaTeX equations. Developed for latexsearch.com.

Simple Merkle tree implementation based on the Bitcoin white paper.