MSR Tools is a source code evolution analysis tool. It consists of a framework for mining software repositories and tools for metric calculation, visualization, and defect prediction.
Mirage is an esoteric programming language for masochistic aesthetes. It includes an interpreter and a CIL compiler.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).