Refinement Types Python Packages | PyPI Stats

phantom-types

Phantom types for Python.

137K 235 11

deal

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

69K 891 36

provably

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

267 0 0

refined

Refinement type hints for Python

128 0 0

dependent-types

Phantom types for Python.

123 235 11