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.References
The current Code Contracts Extensions release accompanies the January-February 2010 CoDe Magazine Code Contracts article: http://www.code-magazine.com/Article.aspx?quickid=1001101
Many of the strategies used in the Code Contracts Extensions are inspired by Microsoft's Enterprise Library Validation Application Block:http://msdn.microsoft.com/en-us/library/dd140088.aspx
Code Contracts are provided by DevLabs: http://msdn.microsoft.com/devlabs