R research.microsoft.com Checked C from Microsoft Research 142 points adamnemecek 10 years ago 9 comments
