github.com/facebook/pyre-check (go): Performant type-checking for python.
Keywords: abstract-interpretation|code-quality|control-flow-analysis|ocaml|program-analysis|python|security|static-analysis|taint-analysis|type-check|typechecker