Open source repositories tagged with #typechecking, ranked by health score.
A JavaScript checker and optimizer.
A fast type checker and language server for Python
