GitHub repository: tom-englert/CodeContracts
Primary language: C#
Description: Source code for the CodeContracts tools for .NET