Based on our record, Refined GitHub seems to be more popular. It has been mentiond 14 times 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.
Refined GitHub addresses these issues with a lot of improvements that can make GitHub more productive. Some great features that it has:. - Source: dev.to / 3 days ago
The Refined GitHub extension [1] automatically hides comments that add nothing to the discussion. [2] [1] https://github.com/refined-github/refined-github. - Source: Hacker News / about 1 month ago
https://github.com/refined-github/refined-github I never intended it to be a side project, I just liked the extension and started contributing heavily to it, to the point where I became the maintainer for the next several years. I get about that amount per month in GitHub Sponsorships. Not nearly worth the amount of time I put into it, but it’s... - Source: Hacker News / over 1 year ago
That's why I use this browser extension https://github.com/refined-github/refined-github. Source: over 2 years ago
Install the https://github.com/refined-github/refined-github browser extension and you'll see whitespace hints everywhere in GitHub. Very helpful in code review. Source: about 3 years ago
Board for Github - A webview based GitHub project app with native features
searchcode - A source code search engine
GitZip - Download or create a download link for a GitHub project folder/sub-folder or file.
Insight.io - Best web-based IDE-like source code browsing and search tool
GitHub File Icon - A browser extension which gives different icons on GitHub.
grep.app - grep.app searches code from over a half million public repositories on GitHub.