GitHub repository: sarvex/microsoft-ada
Description: Source code behind the Microsoft Research project Ada