meta/pyre-check

Performant type-checking for python.

语言：OCaml · GitHub 星标：7,181 · Fork：448

话题：abstract-interpretation · code-quality · control-flow-analysis · ocaml · program-analysis · python · security · static-analysis

在 GitHub 上查看原仓库