Projects that make use of Spec#/Code Contracts.NET [closed]

Question

I am interested in finding out more about the use of Spec# and/or its spin-off project Code Contracts.

Is there a live project that currently makes use of either technology?

Thanks, MagicAndi.

EDIT:

Given David's answer below, I have opened the question up to include any project, not simply open source.

Answer 1

Both Spec# and Code Contracts are distributed under the MSR-LA (Spec#, Code Contracts) which only allows only non-commercial usage and only grants patent rights to the Software, but not derived works. Therefore both are unsuitable for use in open source projects.

Answer 2

There's Singularity which was the pre-cursor for Code Contracts, it used Spec# + custom extensions.

There's also a graph/algorithm library in C# I know about but whose name I've forgotten right now, which is completed with 100% code-contracts.