facebook/pyre-check: Performant type-checking for python.
Category: typing
Language: Python
Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, security, static-analysis, taint-analysis, type-check, typechecker
Homepage: https://pyre-check.org/