我有兴趣了解有关使用Spec#和/或其衍生项目Code Contracts的更多信息。
目前是否有使用这两种技术的实时项目？
谢谢，MagicAndi。
修改
鉴于下面的David's答案，我已经提出了问题，包括任何项目，而不仅仅是开源。
答案 0 :(得分：2)
规范＃和代码合同均在MSR-LA（Spec#，Code Contracts）下发布，仅允许only non-commercial usage并且仅授予本软件的专利权，但不授予衍生作品。因此，两者都不适合在open source项目中使用。
答案 1 :(得分：2)
Singularity是代码合约的前提，它使用Spec＃+自定义扩展。
我知道C＃中还有一个图形/算法库，但是我现在忘记了它的名字，这是100％代码合同完成的。