GitHub repository: rchen152/pyrefly
Primary language: Rust
Description: A fast type checker and IDE for Python