pyre-check
A performant, incremental type checker for Python with integrated security analysis via Pysa.
What is pyre-check?
Pyre is a performant type checker for Python that ensures code complies with PEP 484 type annotations. It analyzes large codebases incrementally, providing real-time feedback to developers, and includes Pysa for security-focused static analysis to identify data flow vulnerabilities.
Python developers working on medium to large codebases who need fast, incremental type checking and integrated security analysis to maintain code quality and safety.
Developers choose Pyre for its speed and scalability in type checking, seamless integration of security analysis via Pysa, and compliance with Python's standard type hinting, making it ideal for enterprise-level projects.
Overview
Performant type-checking for python.
Use Cases
Best For
- Large Python codebases requiring fast, incremental type checking
- Integrating security analysis directly into the type checking workflow
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
