🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
Updated
Nov 30, 2025 - Python
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Contract programming for C++
A course on advanced object-oriented design and programming
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
A lightweight .NET library for expressive Guard Clauses.
Handy decorator for elegant design-by-contract in 3.10+
Design By Contract (DBC) for embedded C and C++
Framework for safe and maintainable web-projects.
This is an example of the design-by-contract method
A Design by contract library for Haxe.
코틀린에서 계약에 의한 설계를 간편하게 적용할 수 있도록 지원하는 라이브러리
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
Verify the communication of your microservices by writing contracts for your RPCs
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™.
Design-by-contract programming for JavaScript and ReasonML
A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.
Fluent Design Contracts for Java Projects
Add a description, image, and links to the design-by-contract topic page so that developers can more easily learn about it.
To associate your repository with the design-by-contract topic, visit your repo's landing page and select "manage topics."