Aura is a static analysis framework developed as a response to the ever-increasing threat of malicious packages and vulnerable code …
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 …