PostSharp.Patterns.Common by: PostSharp SharpCrafters 688,888 total downloads last updated 1/21/2021 Latest version: 6.8.8 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 21,782 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,246 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