Projects that use Spe # / Code Contracts.NET

Question

I am interested to know more about using Spe # and / or its side project Code Contracts .

Is there a living project that currently uses any technology?

Thanks, MagicAndi.

EDIT:

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

Answer 1

MSR-LA (Spe#, ), , . .

Answer 2

Singularity, , # + .

/ #, , , 100% - .