2 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
orsinium-labs
arguard orsinium-labs
1
25
mit
2
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
ci go dbc deal lint golang guards linter safety contracts type-checker golangci-lint static-analysis design-by-contract
Created 2023-08-17
40 commits to master branch, last one 7 months ago