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

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Unison file synchronizer

A language that compiles to Bash and Windows Batch

HTML 5 canvas implementation of Mario written in Ocaml

Malfunctional Programming

A compiler for the 🎃 Spooky 😱 programming language 👻

Nanopass for OCaml

A command line tool for edn processing and pretty printing

Basically ido for X, I guess?

Cheating at the game Wordle with OCaml

The Pizza programming language