Pyrefly is not the first Python type-checking tool from Meta. Previously, the company delivered Pyre, written in OCaml. Pyre ...

Eventual's data processing engine Daft was inspried by the founders' experience working on Lyft's autonomous vehicle project.