Pyre-Check – Performant Type-Checking For Python

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.Pyre ships with Pysa, a security focused static analysis tool we’ve built on top of Pyre that reasons about data flows in PythonRead More