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