PyRank

Design By Contract Python Packages

Python packages with the GitHub topic design-by-contract. Sorted by relevance, with stars and monthly downloads.
life4
deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

79K 901 38
AlexandreDecan
sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

20K 165 31
tefx
invar-tools

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

3K 2 1
Tefx
python-invar

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

582 2 1
orsinium
djburger

Framework for safe and maintainable web-projects.

315 75 6
helgster77
serenecode

Verification framework for AI-generated Python — test coverage, property testing, and symbolic execution

292 11 0
tefx
invar-runtime

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

285 2 1
StefanUlbrich
design-by-contract

Handy decorator for elegant design-by-contract in 3.10+

271 102 7
tungminhphan
traffic-intersection

This is an example of the design-by-contract method

229 14 6
abeltavares
pysertive

✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.

95 6 1