grep.app

This is one of the fastest, most responsive searches i've ever used. Great work!

How is it that fast?

thank you so much for doing this! i hope it continues to open more doors of opportunities to you! primo, this is a crazy snappy proof that shows that github search can be done.…

Superb work. You built a better code search than Github (well with some of its features missing sure) with a lot less resources. Shows how stagnated the progress in big companies…

The interface for this is really clean and nice - did you use a theme or framework?

I was going to say that I didn't want javascript on this. But it's actually pretty #neat. It's all tidied up into a single app without any dependencies. This rocks and, so far,…

I still miss Google Code Search, which was a great way to find examples of anything I wanted to learn about in programming and usually answered my questions better than anything…

Awesome! To me it looks like the come back of "Google Code Search" which I've been missing for many years!

You have no idea how often I've wanted something like this for GitHub. Thanks so much!

If this were to be offered by an actual company (a first party solution), there are some features that'd be expected that make the problem space a lot harder. Here's an "intro to…

Thanks! It's built on top of Solr. It fetches the repos from GitHub - it should pick up any updates to repos within a few days. It's running on a couple servers with 20 cores…

There isn't any deduplication, although that will hopefully be less of an issue at this point since there's a limited number of repositories in the index.

I do not have a great example to try on my phone, but are results deduplicated? That's my big peeve with GitHub search is getting 5 pages of the same forked repo.

Amazing feat! Something I found when testing the regexp: the highlights seem to be off sometimes. When grepping for '<.*?@gmail.com>' (sorry, just the first thing that came to…

Can I search only additions/deletions? Recently when searching GitHub I wanted to find if anyone had replaced the usage of a deprecated method with the new one, because the docs…

The fact that you can’t search for file names is the funniest part to me.

Amazin, why Microsoft hasn't built this for GitHub yet is beyond me. Can it grep on individual repos?

A tangent, my biggest gripe with GitHub code search (within a repo) off the top of my head is the inability to blacklist directories or only search whitelisted directories. Often…

Any plans to include backrefs? I'd like to see how many examples of /(\w+) && \1\./ are out there in .js/.ts compared to /(\w+)\?\./

Impressive! Really fast, full featured code search across a huge corpus. 1. How did you build the index? Did you use a GitHub dump of some sort? How often do you refresh it? 2.…

I would say this needs a list of indexed repos and mainly an explanation of how it exactly works to be usable (how's the index build and how often it's refreshed, what types of…

How did you pick the 500k repositories to index out of the 28 million or so which are public?

This is really cool. What are you using it for? Usage examples, debugging, etc.? I'm the CEO at Sourcegraph (universal code search for companies to use on their internal code).…

This is really cool! Awesome work. I assume you've seen https://sourcegraph.com/ as well? This to me seems much clearer and a bit more intuitive (though I've only spent a little…

I wonder how this compares to Debian Code Search (https://codesearch.debian.net/about) and Russ Cox’s code search tools (https://swtch.com/~rsc/regexp/regexp4.html). Obviously…

to grep specific repos locally, I use a tool called Hound, https://github.com/hound-search/hound developed by a couple of engineers at Etsy while I was there, but never released…

github's code search is notoriously bad, feels like a huge missed opportunity. Nice to see you guys reaching out to other people working in this area.