GitHub repository: KnowledgeForwardSolutions/DbC.Net
Primary language: C#
Description: DbC.Net - Design by Contract - Create robust, requirements based pre- and postconditions for .Net applications