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.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

A code rewrite tool for structural search and replace that supports ~every language.

Tidy, feature-complete Web framework

Context sensitive completion for OCaml in Vim and Emacs

Parser combinators built for speed and memory efficiency

Another Emacs Org-mode and Markdown parser.