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