This is Max Bernstein and Chris Hinstorff's compsci repository, all-inclusive.