Open source repositories tagged with #type-checker, ranked by health score.
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
A fast type checker and language server for Python
