Search Packages

deal

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

sismic

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

invar-tools

AI-native software engineering tools with design-by-contract verification

serenecode

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

python-invar

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

djburger

Framework for views in big projects on Django.

traffic-intersection

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

design-by-contract

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

invar-runtime

Lightweight runtime contracts for Invar projects

pysertive

No description available