Microsoft, Facebook, and Google all have their own Python type checkers now.

* https://github.com/google/pytype

* https://github.com/facebook/pyre-check

Don't forget the one from Dropbox:

* https://github.com/python/mypy