Yeah other than random searches, GitHub doesn’t seem like the easiest tool
Discussion
Until few weeks ago GitHub was the only way because the poor Nostr visibility in the search engines. Now is changing but I think is still a solid resource to start, projects with an open source side are usually better.