4 ms·

https://grep.app/ https://grep.app/ is another good one. Not sure how many repos they index though.

• Alifatisk 2y ago
  It says half million git repos on the main page