Projects in Awesome Lists tagged with code-contracts
A curated list of projects in awesome lists tagged with code-contracts .
https://github.com/bkoelman/ResharperCodeContractNullability
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes.
analyzer annotations canbenull code-contracts itemcanbenull itemnotnull notnull nullability resharper rinul rnul roslyn-analyzer
Last synced: 09 Apr 2025
https://github.com/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â„¢.
assertion behavioral-subtyping code-contracts decorators demands design-by-contract encapsulation exception-handling if-and-only-if invariant liskov-substitution-principle material-implication organized-panic overrides postcondition precondition requires rescue solid
Last synced: 04 Mar 2026
https://github.com/deniszykov/code-contracts-remover
tool for removing .net code contracts from project
code-cleaning code-contracts roslyn
Last synced: 26 Jul 2025
https://github.com/andrej-dyck/dotnet-extensions-require
📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.
argument-checks code-contracts csharp dotnet extension-methods guard nuget-package preconditions require
Last synced: 14 Jan 2026
https://github.com/poulad/code-contracts
A demo used in presenting CodeContracts
code-contracts design-by-contract
Last synced: 05 Jan 2026
