design-by-contract topic

D-inspired contract programming in Rust using macros

ErichDonGubler

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

life4

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

AlexandreDecan

Framework for safe and maintainable web-projects.

orsinium-archive

A lightweight .NET library for expressive Guard Clauses.

feO2x

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

sellout

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

StefanUlbrich

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

juancarlospaco

A Design by contract library for Haxe.

ciscoheat

Contract programming for C++

boostorg