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