Refinement Types Python Packages

deal

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

253K 916 39

phantom-types

Phantom types for Python.

39K 233 10

aether-lang

Security checker for Python, aimed at code AI agents write and run: SQL, command and code injection, deserialization, SSTI, XXE, hardcoded credentials. Emits SARIF for GitHub Code Scanning.

757 0 0

provably

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

152 1 0

dependent-types

Phantom types for Python.

75 233 10