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

Context sensitive completion for OCaml in Vim and Emacs

Systems language with linear types and capability-based security.

Hazel, a live functional programming environment with typed holes

A deterministic parser with fused lexing

Draw railroad diagrams of EBNF grammars. In browser and on command line

Modified ocaml-curses with printw family of functions.

A repl for a dependently typed functional language implemented in OCaml.