GitHub had good search but it's been terrible for years now. More recently I think it's only returned results when logged in.