2 results found Sort:

php-deal
framework php-deal
22
253
mit
15
Design by Contract framework for PHP
dbc php invariants preconditions design-by-contracts contracts-programming
Created 2014-02-01
100 commits to master branch, last one 3 years ago
ErichDonGubler
adhesion-rs ErichDonGubler
0
55
apache-2.0
3
D-inspired contract programming in Rust using macros
rust design-patterns contract-testing design-by-contract design-by-contracts contracts-programming
Created 2017-07-06
73 commits to master branch, last one 2 years ago