February 20, 2022
As an addendum to my praise of GitHub’s advanced search, I’ve come across additional sites where code can be searched1. Namely:
The latter seems to be somewhat lacking in its results compared to the others, but could still be helpful in a pinch!
I’ve now (21.07.22) discovered that there is a more extensive list of code search tools: https://codesearchguide.org/tools ↩