GitHub topics: code-contracts
mtamme/spring-boot-ddd-sample
Spring Boot DDD Sample
Language: Java - Size: 70.3 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
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: 4 days ago - Pushed at: about 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.65 MB - Last synced at: 18 days ago - Pushed at: 9 months ago - Stars: 17 - Forks: 2
deniszykov/code-contracts-remover
tool for removing .net code contracts from project
Language: C# - Size: 119 KB - Last synced at: 6 days ago - Pushed at: over 1 year 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: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
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: over 7 years ago - Stars: 17 - Forks: 20
DBC-Works/code-contract-deno
Tiny code contract programming utility for Deno
Language: TypeScript - Size: 3.91 KB - Last synced at: 20 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
poulad/code-contracts
A demo used in presenting CodeContracts
Size: 9.02 MB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
