GitHub repository: ArturLavrov/DeclarativeContracts
Primary language: C#
Description: Small library that enforce design by contract approach in declarative manner