Design by Contract framework for PHP
Updated Dec 13, 2017
D-inspired contract programming in Rust using macros
Contract programming for C++
Updated Dec 12, 2018
Updated Jan 6, 2017
Updated Oct 18, 2016
Updated Dec 10, 2018
Design by Contract based on annotations
Updated Nov 20, 2016
Scala Design by contract (DbC)
Updated Nov 3, 2018
A simple function emulating an interface so you can validate your argument objects.
Updated Mar 1, 2018
Simple design by contract for crystal
Updated Dec 25, 2016
An acyclic visitor geometrically flavored.
Updated Mar 6, 2017
Updated Nov 26, 2017
A decorator-based Python contracts/defensive programming library with no dependencies
Updated Dec 2, 2018
Updated Oct 23, 2018
Press h to open a hovercard with more details.