bupa8694 / source-singularity

Clone of the MSR Singularity Project

https://www.microsoft.com/en-us/research/project/singularity/

Geek Repo

Github PK Tool

The MSR Singularity Project

This is a vanilla clone of the Microsoft Singularity OS project, downloaded from the official site.

Readings

The complete list is here.

Singularity: Rethinking the Software Stack
Language Support for Fast and Reliable Message-based Communication in Singularity OS, EuroSys'06

About

Clone of the MSR Singularity Project

https://www.microsoft.com/en-us/research/project/singularity/

Languages

Language:C# 52.8%Language:C 21.1%Language:Dafny 8.7%Language:C++ 7.4%Language:Assembly 5.9%Language:Boogie 2.1%Language:F# 0.7%Language:Batchfile 0.3%Language:Perl 0.2%Language:Makefile 0.2%Language:PowerShell 0.1%Language:Python 0.1%Language:HTML 0.1%Language:Scilab 0.1%Language:ASP.NET 0.0%Language:Pascal 0.0%Language:Smalltalk 0.0%Language:CSS 0.0%Language:VBScript 0.0%Language:SMT 0.0%Language:Shell 0.0%Language:JavaScript 0.0%Language:Vim Script 0.0%Language:Lex 0.0%Language:ZAP 0.0%