twitter has a code search tool but it's nothing super special, just trigram search i think