GitHub repository: Kevin-Gruber/typeshed
Description: Collection of library stubs for Python, with static types