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.

FUSE filesystem over Google Drive

magic-trace collects and displays high-resolution traces of what a process is doing

Programming language for literate programming law specification

Compiler from C to brainfuck

Command-line client for Elasticsearch written in OCaml