代码审查开源项目点评

infer

OCaml

一个用于Java、C、C++和Objective-C的静态分析器

fork
1,898
star
13,725

pyre-check

OCaml

为Python提供高性能的类型检查。

fork
407
star
6,165