GitHub repository: rparkms/RuntimeContracts
Primary language: C#
Description: Library-based implementation of Code Contracts-like API