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:
I’ve now (21.07.22) discovered that there is a more extensive list of code search tools: https://codesearchguide.org/tools ↩