github.com – 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 w…

Tweeted by @TheHackersNews https://twitter.com/TheHackersNews/status/1292159196952027136

facebook/pyre-check