PostSharp.Patterns.Common by: PostSharp SharpCrafters 736,972 total downloads last updated 2/16/2021 Latest version: 6.9.1-preview 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 25,413 total downloads last updated 1/20/2021 Latest version: 2.0.167 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 1,439 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