beartype's tracked open-source repos, sorted by stars.
Unbearably fast near-real-time pure-Python runtime-static type-checker.
Multiple dispatch in Python
