python / mypy

Optional static typing for Python

beartype / beartype

Unbearably fast near-real-time pure-Python runtime-static type-checker.