3 ms·
A screenshot on the linked page shows a UI that looks very similar to github's. Doesn't github search already do this?
by azangru 2y ago
A screenshot on the linked page shows a UI that looks very similar to github's.
Doesn't github search already do this?
- kreetx 2y agogrep.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...