pyre-check

pyre-check.orgsite

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

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲
   pyre-check github.com

   tool category #robotic-tooling link ↗

   Performant type-checking for python.

   
2. ▲
   pyrefly pyrefly.org

   site category #static-analysis link ↗

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

   
3. ▲
   pyrefly github.com

   tool category #python link ↗

   A fast type checker and language server for Python.

   
4. ▲
   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.

   
5. ▲
   Pysa pyre-check.org

   site category #static-analysis link ↗

   A tool based on Facebook's pyre-check to identify potential security issues in Python code identified with taint analysis.

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, scalable type checker for large Python codebases. Pyre-check has been superseded by Pyrefly, its next iteration.”