Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
Include compatible frameworks
Framework Filter Mode
ALL
ANY
.NET
net8.0
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
3 packages returned for Tags:"jetbrains.
annotations"
Sort by
Relevance
Downloads
Recently updated
Synergy.
Contracts
by:
marcin.celej
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
124,193 total downloads
last updated
2/1/2024
Latest version:
3.0.4
DbC
Design-By-Contract
Precondition
Postcondition
Contract
Code-Contract
Resharper
Annotations
R#
jetbrains.annotations
More tags
Design by contract programming support
Contract.
Annotations
by:
arlobelshee
.NET Framework 2.0
7,547 total downloads
last updated
3/31/2014
Latest version:
8.2.1
annotations
resharper
jetbrains
jetbrains.annotations
design
contract
Annotations to declare the contracts in your code that support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.
CheckContracts
by:
imanushin
.NET Framework 4.0
16,245 total downloads
last updated
2/14/2016
Latest version:
1.5.3
CheckContracts
Validate
Validation
Checking
Contracts
CodeContracts
TypeCasting
SafeTypeCasting
ReSharper
PCL
More tags
Library to simplify runtime checking by using code contracts.