replace pyre-check with pyrefly

This commit is contained in:
Vinta Chen
2026-04-22 03:49:01 +08:00
parent 0bf9522e5d
commit 976ae9420c

View File

@@ -606,7 +606,7 @@ _Tools of static analysis, linters and code quality checkers. Also see [awesome-
- [rope](https://github.com/python-rope/rope) - Rope is a python refactoring library.
- Type Checkers - [awesome-python-typing](https://github.com/typeddjango/awesome-python-typing)
- [mypy](https://github.com/python/mypy) - Check variable types during compile time.
- [pyre-check](https://github.com/facebook/pyre-check) - Performant type checking.
- [pyrefly](https://github.com/facebook/pyrefly) - A fast type checker and language server for Python, written in Rust.
- [ty](https://github.com/astral-sh/ty) - An extremely fast Python type checker and language server.
- [typeshed](https://github.com/python/typeshed) - Collection of library stubs for Python, with static types.
- Type Annotations Generators