A static type checker for JavaScript
Lightweight static analysis for many languages
opam is a source-based package manager
Context sensitive completion for OCaml in Vim and Emacs
Performant type-checking for python
An OCaml kernel for Jupyter (IPython) notebook
MirageOS is a library operating system that constructs unikernels
Support for manual parallelization of sequential C programs.
MOVED TO GITHUB. Code here is STALE.