GitHub repository: noobeex/CodeContract
Primary language: C#
Created: 2020-04-26T19:57:52Z
Description: Set of helper classes to ensure code contract is met (preconditions, postconditions, object invariants, etc.)