An extremely fast Python type checker and language server, written in Rust. - View it on GitHub