🤝 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/

Handy decorator for elegant design-by-contract in 3.10+

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

A lightweight .NET library for expressive Guard Clauses.

Framework for safe and maintainable web-projects.

D-inspired contract programming in Rust using macros

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

Design by contract in elixir

A Design by contract library for Haxe.

Contract programming for C++

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

Fluent Design Contracts for Java Projects

Design-by-contract for Go1

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 (DBC) for embedded C and C++

Verify the communication of your microservices by writing contracts for your RPCs

A Fun Frontend Language

Design-by-contract programming for JavaScript and ReasonML

This is an example of the design-by-contract method