8 results found Sort:

life4
deal life4
25
732
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 6 months ago
AlexandreDecan
sismic AlexandreDecan
25
141
lgpl-3.0
8
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
uml python testing statecharts property-testing design-by-contract finite-state-machine hierarchical-state-machine behavior-driven-development
Created 2015-11-30
1,058 commits to master branch, last one 4 months ago
StefanUlbrich
design-by-contract StefanUlbrich
6
102
mit
4
Handy decorator for elegant design-by-contract in 3.10+
python python310 design-by-contract
Created 2022-01-29
72 commits to main branch, last one 2 years ago
feO2x
Light.GuardClauses feO2x
8
85
mit
4
A lightweight .NET library for expressive Guard Clauses.
dbc csharp dotnet assertions guard-clauses preconditions design-by-contract precondition-checks
Created 2016-03-18
927 commits to dev branch, last one 10 months ago
ErichDonGubler
adhesion-rs ErichDonGubler
0
54
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 3 years ago
juancarlospaco
nim-contra juancarlospaco
3
54
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
keathley
oath keathley
3
45
unknown
3
Design by contract in elixir
elixir design-by-contract
Created 2019-03-11
22 commits to master branch, last one 3 years 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 10 months ago