Based on our record, GitHub Repository Size seems to be more popular. It has been mentiond 1 time since March 2021. 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 2 years ago
Refined GitHub - Browser extension that makes GitHub cleaner & more powerful
SmallDevTools - Handy developer tools with a delightful interface
Githunt - Explore the top projects on GitHub 🏆
LaunchKit - Open Source - A popular suite of developer tools, now 100% open source.
Contributions for GitHub - Show your GitHub contributions graph on your iOS Devices
Profitable developer tools database - A database of 103+ hand-curated profitable developer tools