GitHub repository: DavidArmstrong/library-registry
Description: Arduino Library Manager list