Pyrefly. Pyrefly is not the first Python type-checking tool from Meta. Previously, the company delivered Pyre, written in OCaml.Pyre has since been retired; Pyrefly, written from scratch in Rust ...