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.

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

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

A TUI for the Jujutsu version control system