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

MirageOS is a library operating system that constructs unikernels

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

🔎 Static code analysis engine to find security issues in code.