Pyrefly is a fast, open-source Python type checker and language server,
developed by Meta and written in Rust. It is designed to handle large
Python codebases efficiently and provides command-line checking as well
as LSP support for editors.

WWW: https://github.com/facebook/pyrefly