dogear

enter for all results · esc to close

pyre-check

github.comtool

Performant type-checking for python.

visit github.com ↗
0
sign in to dogear this
from
Robotic Tooling
added
2026-10-10
likes
0

similar

  1. 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.

  2. pyrefly github.com
    tool category #python link ↗

    A fast type checker and language server for Python.

  3. 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.

  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. beartype github.com
    tool category #python-typing link ↗

    Unbearably fast O(1) runtime type-checking in pure Python.

  6. pyright github.com
    tool category #python link ↗

    Fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified.

Robotic Tooling › Development Environment > Debugging and Tracing: “Performant type-checking for python.”