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

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

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

MirageOS is a library operating system that constructs unikernels

Bamboo see https://github.com/cornellblockchain/bamboo

GenProg: heuristic, GP-based automatic program repair for C.

Sealing local directories into Mirage Unikernels