3 ms·
grep.app searches repository content across repositories, github.com doesn't seem to do this at all (unless they are hiding it well). IMO, github could have bou
by kreetx 2y ago
grep.app searches repository content across repositories, github.com doesn't seem to do this at all (unless they are hiding it well). IMO, github could have bought it themselves to improve their search, but that didn't have seemed to worked out.
As an occasional user of grep.app I hope that Vercel keeps it running and doesn't ruin it in some way.
- jonasdoesthings 2y agoGitHub also had a global code-search for around 1 year now, even with some additional search-operators like programming language. grep app has already existed before GitHub added that feature tho. I think there are some differences in index-size, search fuzzyness, etc. between grep vs github search, but not 100% sure about the details and which is better for what. Example Query: https://github.com/search?q=System.exit%281%29%3B+%28language%3AKotlin%29&type=code https://github.com/search?q=System.exit%281%29%3B+%28languag...