There are 0 repository under codecontracts topic.
Standalone MSBuild integration of CodeContracts (by Microsoft Research)
Code Fixes for Roslyn that remove CodeContracts from source code
Using various libraries to make defensive coding