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

Mypy, Pytype, Pyright, and Pyre can help you keep your type-hinted Python code bug-free. Let’s see what each of these useful tools has to offer.