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