Type Checker

• Mypy
• Pyright
• Pyre
• Pyrefly: The next generation of Pyre. Written in Rust, optimized for IDE integration.