IT has been a while. But for what it's worth they recently added a search functionality in Google project hosting pages (For in project search). Such as: https:

IT has been a while. But for what it's worth they recently added a search functionality in Google project hosting pages (For in project search). Such as: https://code.google.com/p/dart/codesearch https://code.google.com/p/dart/codesearch