The core OCaml system: compilers, runtime system, base libraries
Context sensitive completion for OCaml in Vim and Emacs
Lightweight static analysis for many languages
Performant type-checking for python
ultra small code editor
ultra small code editor