Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Frameworks
.NET
net7.0
net6.0
net5.0
.NET Core
netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0
.NET Standard
netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0
.NET Framework
net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
4 packages returned for Tags:"Postcondition"
Sort by
Relevance
Downloads
Recently updated
PostSharp.
Patterns.
Common
by:
PostSharp
SharpCrafters
2,364,598 total downloads
last updated
9/14/2023
Latest version:
2023.0.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
105,980 total downloads
last updated
7/14/2023
Latest version:
2.0.213
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,568 total downloads
last updated
5/30/2015
Latest version:
1.0.0
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
266 total downloads
last updated
2/1/2022
Latest version:
1.0.1-beta
guard
check
precondition
preconditions
postcondition
postconditions
A guard clauses package.