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

A static analyzer for Java, C, C++, and Objective-C

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.

Tidy, feature-complete Web framework

TUI multiline fuzzy document finder

PDF Command Line Tools Source

Another Emacs Org-mode and Markdown parser.

A filesystem interface to git repositories

Type inference engine for Ruby