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.

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

MirageOS is a library operating system that constructs unikernels

Programming language for literate programming law specification