A fast type checker and language server for Python - View it on GitHub