pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!
Primary LanguageC++