From 976ae9420c5d2f6531a3e517d68215fc929ce61e Mon Sep 17 00:00:00 2001 From: Vinta Chen Date: Wed, 22 Apr 2026 03:49:01 +0800 Subject: [PATCH] replace pyre-check with pyrefly --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 407ddf95..0e80ff88 100644 --- a/README.md +++ b/README.md @@ -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