GitHub repository: Igorbek/CodeContracts.MSBuild
Primary language: C#
Description: Standalone MSBuild integration of CodeContracts (by Microsoft Research)