Cinder is Meta's performance-oriented version of Python that allows Instagram to run at global scale, while Pyre is a performant type-checker used by thousands of Python developers in Meta.

Currently in alpha, Pyrefly is a new open-source Python type checker developed by Meta in Rust for maximum performance. Inspired by tools like Pyre, Pyright, and MyPy, Pyrefly is intended to replace t ...