Looking at large-scale, online code search implementations like https://github.com/search, https://cs.android.com, Azure DevOps Code Search, etc. - what powers these, in terms of algorithms and specific technologies? Are there any open source equivalents to these? What is the current state of the art in code searching of large, multiple codebases?