PostSharp.Patterns.Common by: PostSharp SharpCrafters 1,251,764 total downloads last updated 4/22/2022 Latest version: 6.10.10 postsharp code contracts precondition postcondition preconditions postconditions Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.
Synergy.Contracts by: marcin.celej 55,979 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
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
Cloudlucky.GuardClauses by: cloudlucky 112 total downloads last updated 2/1/2022 Latest version: 1.0.1-beta guard check precondition preconditions postcondition postconditions A guard clauses package.