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