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://codes

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