GitHub repository: CodeContractsDotNet/CodeContracts
Primary language: C#
Created: 2015-01-06T19:48:32Z
Description: Source code for the CodeContracts tools for .NET