The Code Contracts Extensions project adds features to Microsoft's Code Contracts.
The Extensions contain a small bunch of extension methods I created to provide centralized comparison logic for Code Contracts clauses.
They also provide support for object contract validation and lazy contract evaluation.
The current Code Contracts Extensions release accompanies the January-February 2010 CoDe Magazine Code Contracts article:
Many of the strategies used in the Code Contracts Extensions are inspired by Microsoft's Enterprise Library Validation Application Block:
Code Contracts are provided by DevLabs: