🤝 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

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

Design By Contract (DBC) for embedded C and C++

Design-by-contract for Go1

A Fun Frontend Language

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

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