There was one, back before the great clearing of interesting search engines that Google brought about. I forget its name but I used it for code searches.