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