6 results found Sort:

life4
deal life4
25
710
mit
14
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
dbc deal mypy flake8 linter python typing testing pythonic contracts interface invariant decorators validation hacktoberfest refinement-types design-by-contract contracts-programming functional-programming property-based-testing
Created 2018-01-25
1,276 commits to master branch, last one 3 months ago
thephpleague
uri-interfaces thephpleague
8
442
mit
6
League URI Interfaces
php uri uri-interfaces contracts-programming
Created 2016-10-17
203 commits to master branch, last one a day ago
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
SijieCai
redux-prim SijieCai
9
82
mit
7
redux helper tool to abstract action and reducer with getDefaultState and updaters.
react redux abstraction data-driven reusability contracts-programming
Created 2018-07-24
57 commits to master branch, last one about a year 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
juancarlospaco
nim-contra juancarlospaco
3
53
mit
5
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
nim hardened nim-lang contracts hardening immutable nimscript self-test javascript compiletime testing-tools assertion-library immutable-objects testing-framework design-by-contract security-hardening contracts-programming
Created 2019-06-28
95 commits to master branch, last one 2 years ago