zzyhyl's repositories
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCamlMIT000
pyre-check
Performant type-checking for python.
Language:OCamlMIT000
000
A static analyzer for Java, C, C++, and Objective-C
Performant type-checking for python.