design-by-contract

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

Claim-Driven Development: turn software intent into verifiable evidence.

Deterministic Software Engineering Governance for Multi-Agent Coding Workflows (CLI, .cursorrules, 4-Artifact Templates & 14-Chapter Guide) | 融合软件工程治理的多智能体编排框架与完全指南

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.

Spectre programming language

Framework for safe and maintainable web-projects.

An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.

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

D-inspired contract programming in Rust using macros

Design by contract in elixir

A Design by contract library for Haxe.

Contract programming for C++

Design by Contract for Go

Fluent Design Contracts for Java Projects

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

A design by contract library for Zig

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