5 ms·

There's also https://github.com/google/codesearch https://github.com/google/codesearch for local only search

• nbenitezl 10mo ago
  I use https://codesearch.debian.net/ https://codesearch.debian.net/ a lot, and it's based on that according to https://codesearch.debian.net/about https://codesearch.debian.net/about
• rurban 10mo ago
  But it has a web frontend also. So not only local.