PyRank

Design By Contract Python Packages

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

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

253K 916 39
AlexandreDecan
sismic

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

22K 169 32
tefx
invar-tools

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

3K 3 1
tetrionlabs
mathema

Claim-Driven Development: turn software intent into verifiable evidence.

856 79 0
helgster77
serenecode

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

528 12 0
Tefx
python-invar

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

345 3 1
orsinium
djburger

Framework for safe and maintainable web-projects.

187 75 6
tefx
invar-runtime

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

177 3 1
StefanUlbrich
design-by-contract

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

169 102 7
tungminhphan
traffic-intersection

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

122 14 6
nguyenminhduc9988
ratify-agents

A unified contract layer for LLM agents — parameterizable contract templates enforced by deterministic checks and LLM judgment.

70 1 0
abeltavares
pysertive

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

53 6 1