control-flow-analysis
code-quality
python
security
static-analysis
ocaml
typechecker
type-check
abstract-interpretation
program-analysis
taint-analysis
facebook/pyre-check503日前6.6k
Performant type-checking for python.
Performant type-checking for python.