Nice! Still not quite as good as grep.app from an interface point of view. They have instant search-as-you-type results over all of GitHub.
It's not open source but I use it all the time. Far superior to Github's search.
Anyone know how companies like this maintain tabs on so much of the GitHub repos? I assume very distributed crawling/cloning.
Anyone know how companies like this maintain tabs on so much of the GitHub repos? I assume very distributed crawling/cloning.