GitHub Code Search
Update: GitHub Codesearch is now located at github.com/search Today we’re unveiling a new feature on GitHub that we’ve been working on for a bit now that lets you search through…
Update: GitHub Codesearch is now located at github.com/search
Today we’re unveiling a new feature on GitHub that we’ve been working on for a bit now that lets you search through nearly all the public source code on the site (which is a lot).
GitHub Codesearch can be found at github.com/codesearch and will let you type in anything you’re looking for in source code and get highlighted results of any files in our public repositories that match. You will also get a sidebar with the facet counts of language breakdown of the results and repository breakdowns.
You can also search through any specific language, if you’re looking for something specific by selecting that language in the dropdown:
You can also refine your search results by clicking on one of the languages or repositories listed in the sidebar to drill down to only those results:
There are a pretty good number of things you can do with this, and we hope you enjoy it. We’ll be incorporating this functionality into more aspects of the website soon (search from the front page, search through a users repositories from their user page, search through a repos code from the project page, etc). Let us know if you find any kinks or can think of any particularly interesting application of this technology that we could incorporate into the site.
We hope you like it!
Written by
Related posts
The top 10 gifts for the developer in your life
Whether you’re hunting for the perfect gift for your significant other, the colleague you drew in the office gift exchange, or maybe (just maybe) even for yourself, we’ve got you covered with our top 10 gifts that any developer would love.
Congratulations to the winners of the 2024 Gaady Awards
The Gaady Awards are like the Emmy Awards for the field of digital accessibility. And, just like the Emmys, the Gaadys are a reason to celebrate! On November 21, GitHub was honored to roll out the red carpet for the accessibility community at our San Francisco headquarters.
Students: Start building your skills with the GitHub Foundations certification
The GitHub Foundations Certification exam fee is now waived for all students verified through GitHub Education.