Topic: "code-contracts"
bkoelman/ResharperCodeContractNullability 📦
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes.
Language: C# - Size: 804 KB - Last synced at: 28 days ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 4
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: TypeScript - Size: 1.43 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 18 - Forks: 2
SyncfusionSuccinctlyE-Books/CSharp-Code-Contracts-Succinctly
This is the companion repo for C# Code Contracts Succinctly by Dirk Strauss. Published by Syncfusion.
Language: C# - Size: 117 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 17 - Forks: 20
deniszykov/code-contracts-remover
tool for removing .net code contracts from project
Language: C# - Size: 119 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 14 - Forks: 5
andrej-dyck/dotnet-extensions-require
📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.
Language: C# - Size: 35.2 KB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
mtamme/spring-boot-ddd-sample
Spring Boot DDD Sample
Language: Java - Size: 71.3 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
DBC-Works/code-contract-deno
Tiny code contract programming utility for Deno
Language: TypeScript - Size: 3.91 KB - Last synced at: 21 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
poulad/code-contracts
A demo used in presenting CodeContracts
Size: 9.02 MB - Last synced at: 8 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
