pyrefly

pyrefly.orgsite

A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲
   pyrefly github.com

   tool category #python link ↗

   A fast type checker and language server for Python.

   
2. ▲
   pyre-check pyre-check.org

   site category #static-analysis link ↗

   A fast, scalable type checker for large Python codebases. Pyre-check has been superseded by Pyrefly, its next iteration.

3. ▲
   pylyzer github.com

   tool category #python-typing link ↗

   A fast static code analyzer & language server for Python, written in Rust.

   
4. ▲
   pyre-check github.com

   tool category #robotic-tooling link ↗

   Performant type-checking for python.

   
5. ▲
   pycroscope github.com

   tool category #python-typing link ↗

   A semi-static type checker for Python code. It imports the modules it type checks, enabling pycroscope to understand many dynamic constructs that other type checkers will reject. This makes it possible to extend pycroscope with plugins that interact directly with your code.

   
6. ▲
   pylint pylint.pycqa.org

   site category #static-analysis link ↗

   Looks for programming errors, helps enforcing a coding standard and sniffs for some code smells. It additionally includes pyreverse (an UML diagram generator) and symilar (a similarities checker).

Static Analysis & Code Quality › Programming Languages: “A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.”