Type checker for Python built in Rust by Meta, designed as a faster alternative to mypy with better support for modern Python typing features
