An extremely fast Python type checker and language server, written in
Rust.
