使用Spec＃/ Code Contracts.NET的项目

Question

我有兴趣了解有关使用Spec#和/或其衍生项目Code Contracts的更多信息。

目前是否有使用这两种技术的实时项目？

谢谢，MagicAndi。

修改

鉴于下面的David's答案，我已经提出了问题，包括任何项目，而不仅仅是开源。

Answer 1

规范＃和代码合同均在MSR-LA（Spec#，Code Contracts）下发布，仅允许only non-commercial usage并且仅授予本软件的专利权，但不授予衍生作品。因此，两者都不适合在open source项目中使用。

Answer 2

Singularity是代码合约的前提，它使用Spec＃+自定义扩展。

我知道C＃中还有一个图形/算法库，但是我现在忘记了它的名字，这是100％代码合同完成的。