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.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A language that compiles to Bash and Windows Batch

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

Parser combinators built for speed and memory efficiency

Preprocessor / Pretty Printer for OCaml