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

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

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

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

Irmin is a distributed database that follows the same design principles as Git

A toolkit for embedding VPN capabilities in your application

Connect processes into powerful data pipelines with a simple git-like filesystem interface

A DNS server that automatically starts unikernels on demand