Comment by nbenitezl

I use https://codesearch.debian.net/ a lot, and it's based on that according to https://codesearch.debian.net/about