Run mypy over millions of lines of code - View it on GitHub