Проекты, использующие SpeC#/Code Contracts.NET

Question

Я заинтересован в том, чтобы узнать больше об использовании SpeC# и / или его дополнительного кода Code Contracts.

Есть ли живой проект, который в настоящее время использует любую технологию?

Спасибо, МэджикАнди.

РЕДАКТИРОВАТЬ:

Учитывая ответ David Schmitt ниже, я открыл вопрос для включения любого проекта, а не просто с открытым исходным кодом.

Answer 1

И SpeC#, и Code Contracts распространяются в соответствии с MSR-LA ( SpeC#, Code Contracts), который разрешает только некоммерческое использование и предоставляет только патентные права на Программное обеспечение, но не на производные работы. Поэтому оба они не подходят для использования в проектах с открытым исходным кодом.

Answer 2

Есть Singularity, который был предварительным курсором для Code Contracts, он использовал SpeC# + пользовательские расширения.

Есть также библиотека графиков / алгоритмов на C#, о которой я знаю, но чье имя я забыл прямо сейчас, что завершено на 100% контрактами кода.