Mypy, a code-linting project created to allow static type checking in Python, has been improved to benefit larger, more complex projects and speed up parsing. One of Python‘s big attractions is ...

Pyrefly from Meta and Ty from Astral offer type-checking for Python codebases at the speed of Rust.