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

Context sensitive completion for OCaml in Vim and Emacs

Library for binding to C libraries using pure OCaml

A proof assistant for general type theories

Process library and s-expression based shell

Cabal like system for OCaml