GitHub repository: postman-open-technologies/openapi-github-search
Description: OpenAPI GitHub Search (GSoC 2023)