GitHub Repository Size might be a bit more popular than Sourcegraph for GitHub. We know about 1 link to it since March 2021 and only 1 link to Sourcegraph for GitHub. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Sourcegraph: Adds code intelligence to GitHub, GitLab, and other hosts: hovers, definitions, references. For 20+ languages. - Source: dev.to / over 3 years ago
There's also a chrome extension. Haven't used it though, so can't verify it. Source: over 3 years ago
Gitstalk - Discover what your favorite GitHub users are up to
Refined GitHub - Browser extension that makes GitHub cleaner & more powerful
Sourcegraph - Sourcegraph is a free, self-hosted code search and intelligence server that helps developers find, review, understand, and debug code. Use it with any Git code host for teams from 1 to 10,000+.
Githunt - Explore the top projects on GitHub 🏆
bloop - Code-search engine for developers
Contributions for GitHub - Show your GitHub contributions graph on your iOS Devices