GitHub repository: toinehartman/DefinitelyTyped-tools
Description: Infrastructure for DefinitelyTyped