GitHub - astral-sh/ty: An extremely fast Python type checker and language server, written in Rust.