Pyre

Software / AppMentioned in 1 video

Facebook's static type checker for Python, written in OCaml, designed to integrate with their development workflow.