[kornish]

If you like grep, you'll probably really like Sourcegraph, which I believe has most of GitHub indexed and supports some useful operators: https://sourcegraph.com/search

[saagarjha]

It will also download repos for you if you point them at it.