Github search sucks (and how it could be better)
github.com
github.com
Not only can it quickly search across large codebases, it parses JS/Python and the output of clang (for C/C++) to allow quickly finding the definitions of functions, declarations of variables, and so on (try hovering over a variable for instance):
https://dxr.mozilla.org/mozilla-central/source/browser/compo... https://dxr.mozilla.org/mozilla-central/source/toolkit/mozap...
Nothing that many mainstream IDEs can't do, but having it on the web and being able to quickly link people and not requiring local setup helps tremendously to get people up to speed quickly.
https://github.com/search?q=filename%3A%2A.py+%22import+flas...
use advanced search to specify stars:>20 etc.
For instance, searching for "flask" and limiting the results to >1000 stars returns only the 27 repositories with a matching description[0], but the code search returns over 4 million results, ignoring the stars parameter[1].
https://github.com/search?l=&q=flask+stars%3A%3E1000&ref=adv...
https://github.com/search?l=&q=flask+stars%3A%3E1000&ref=adv...
With that info, they would be able to build an awesome search system.
It would be hard and expensive with not much benefit to their bottom line.
Not all languages which could significantly benefit from pulling out type info even compile. Something significantly smaller scoped would be to have github's search aware of and consume some kind of intellisense-esque database or structured documentation format that any CI process could output. (Of course, someone needs to write the tools to generate said output in the first place...)