Refinement Types Python Packages

phantom-types

Phantom types for Python.

deal

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

provably

Proof-carrying Python functions via Z3 — annotate, verify, ship.

refined

Near-zero-overhead refinement types for Python

dependent-types

Dependent types for Python