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.

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

Performant type-checking for python.

MirageOS is a library operating system that constructs unikernels

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

the core 0install package

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.