Sourcegraph for GitHub might be a bit more popular than GitHub Repository Size. We know about 1 link to it since March 2021 and only 1 link to GitHub Repository Size. 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.
There's also a chrome extension. Haven't used it though, so can't verify it. Source: over 3 years ago
Sourcegraph: Adds code intelligence to GitHub, GitLab, and other hosts: hovers, definitions, references. For 20+ languages. - Source: dev.to / over 3 years ago
Refined GitHub - Browser extension that makes GitHub cleaner & more powerful
Gitstalk - Discover what your favorite GitHub users are up to
Githunt - Explore the top projects on GitHub 🏆
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+.
Contributions for GitHub - Show your GitHub contributions graph on your iOS Devices
bloop - Code-search engine for developers