Open source repositories tagged with #typechecker, ranked by health score.
A fast type checker and language server for Python
Static type checker for Ruby
