Tools and Resources

Code Contracts on GitHub

To have a look at the source code for Code Contracts, contribute some code, or familiarize yourself with certain aspects on Code Contracts, visit the project on GitHub. There is also a forum and FAQ that could be a great help.

Code Contracts at Microsoft Research

For more on the background of Code Contracts, go to the Microsoft Research website.

Code Contracts User Manual

For more background knowledge and to solidify certain concepts, I suggest you read through the Code Contracts User Manual.

Hottest Code Contract answers on Stack Overflow

Stack Overflow is one of the best sources on the web for answers and solutions to your Code Contract questions.

Code Contracts Editor Extensions

See the Visual Studio Gallery for the Code Contracts Editor Extensions.

Sandcastle Help File Builder

To generate great documentation from your XML comments, grab a free copy of Sandcastle Help File Builder on GitHub.