Codefetch.com

Codefetch was an educational code search engine launched in 2005 by Codefetch, Inc.

Screen capture of Codefetch home search interface