pyre-check in vinta/awesome-python, Ly0n/awesome-robotic-tooling, typeddjango/awesome-python-typing

Performant type-checking for python.

created at Nov. 10, 2017, 5:31 p.m.

112 +0

6,689 +14

425 +0

infer in fffaraz/awesome-cpp, vsouza/awesome-ios, akullpp/awesome-java, ocaml-community/awesome-ocaml

A static analyzer for Java, C, C++, and Objective-C

created at Jan. 26, 2015, 11:19 a.m.

605 +0

14,694 +7

1,998 -1

flow in ocaml-community/awesome-ocaml, dreikanter/sublime-bookmarks

Adds static typing to JavaScript to improve developer productivity and code quality.

created at Oct. 28, 2014, 5:17 p.m.

390 -1

22,078 +5

1,844 +1