Synergy.Contracts by: marcin.celej 55,910 total downloads last updated 4/22/2021 Latest version: 2.0.170 DbC Design-By-Contract Precondition Postcondition Contract Code-Contract Resharper Annotations R# jetbrains.annotations More tags Design by contract programming support
NContract by: nhedlund 6,223 total downloads last updated 7/30/2019 Latest version: 1.2.49 dbc design-by-contract NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.
WeeGems.Require by: MattDavey 8,305 total downloads last updated 1/25/2013 Latest version: 1.0.1 Design-By-Contract Precondition Contract Code-Contract A simple code-contract class for validating method argument preconditions.
Rocket.DbC by: glufsaren 2,032 total downloads last updated 12/26/2015 Latest version: 1.0.0.1 DbC Design by contract PreCondition PostCondition Code Contracts programming design-by-contract Simple Design by contract library supporting PreConditions and PostConditions