code-contracts

There are 7 repositories under code-contracts topic.

bkoelman/ResharperCodeContractNullability
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes.
Language:C#25 4 254
final-hill/decorator-contracts
Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.
Language:TypeScript18 1 1802
SyncfusionSuccinctlyE-Books/CSharp-Code-Contracts-Succinctly
This is the companion repo for C# Code Contracts Succinctly by Dirk Strauss. Published by Syncfusion.
Language:C#18 4 021
deniszykov/code-contracts-remover
tool for removing .net code contracts from project
Language:C#14 1 15
andrej-dyck/dotnet-extensions-require
📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.
Language:C#2 1 00
DBC-Works/code-contract-deno
Tiny code contract programming utility for Deno
Language:TypeScript0 2 00
poulad/code-contracts
A demo used in presenting CodeContracts
3 0