Refinement Types Python Packages | PyRank

deal

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

79K 901 38

phantom-types

Phantom types for Python.

68K 234 10

provably

Proof-carrying Python — Z3-backed formal verification via @verified decorators

316 0 0

dependent-types

Phantom types for Python.

163 234 10

refined

Refinement type hints for Python

135 2 0