
Tampermonkey
Violentmonkey
Greasemonkey
Userscripts
Greasy Fork
Database Script Tool
Lichess
Script Manager โ SManager
Refined GitHub
Board for Github
GitZip
Enhanced GitHub
GitHub Hovercard
GitHub
GitHub File Icon
Octotree
Tampermonkey
Refined GitHubTampermonkey is recommended for developers, tech enthusiasts, and users who wish to customize their web browsing experience. It's especially useful for individuals who frequently use specific websites and want to automate repetitive tasks or add new functionalities that are not natively supported by those sites.
No Refined GitHub videos yet. You could help us improve this page by suggesting one.
Based on our record, Tampermonkey should be more popular than Refined GitHub. It has been mentiond 135 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.
// ==UserScript== // @name ChatGPT Firefox Input Focus Fix // @namespace http://tampermonkey.net/ // @version 1.0 // @description Fixes lost first keystroke in ChatGPT input on Firefox by focusing and clicking the textarea // @match https://chat.openai.com/* // @match https://chatgpt.com/* // @grant none // ==/UserScript== (function () { const simulateClick = (el) => { ... - Source: dev.to / about 1 year ago
// ==UserScript== // @name Hide Expanding Menu Bar // @namespace http://tampermonkey.net/ // @version 0.1 // @require https://code.jquery.com/jquery-3.6.0.min.js // @description Hides Zillow auto-expanding menu // @author mikmak // @match https://www.zillow.com/* // @grant GM_addStyle // ==/UserScript== Const $ = window.$; Function hideExpandingMenu() { ... - Source: dev.to / about 1 year ago
// ==UserScript== // @name Remove data-dark-theme attributes // @namespace http://tampermonkey.net/ // @version 2024-06-23 // @description Remove data-dark-theme attributes from GitHub Actions console // @author masayoshi haruta // @match https://github.com/*/*/actions/runs/* // @icon https://www.google.com/s2/favicons?sz=64&domain=github.com // @grant none //... - Source: dev.to / about 2 years ago
// @name 0 Highlight remover // @namespace http://tampermonkey.net/ // @version 0.1 // @description try to take over the world! // @author You // @match https://outlook.office.com/mail/id/* // @icon https://www.google.com/s2/favicons?sz=64&domain=office.com // @grant none // ==/UserScript==. Source: over 2 years ago
// ==UserScript== // u/name {snipped} // u/namespace http://tampermonkey.net/ // u/version 0.1 // u/description {snipped} // u/author You // u/match {snipped} // u/require http://code.jquery.com/jquery-3.7.1.min.js // u/icon https://www.google.com/s2/favicons?sz=64&domain=pokefarm.com // u/grant none // ==/UserScript== /* global jQuery... Source: over 2 years ago
There's already something like this for GitHub: https://github.com/refined-github/refined-github. - Source: Hacker News / 3 months ago
The refined github extension[0] has some defaults that make the default view a little more tolerable. Past that I can personally recommend Renovate, which supports far more ecosystems and customisation options (like auto merging). [0]: https://github.com/refined-github/refined-github. - Source: Hacker News / 5 months ago
Refined-GitHub > Highlights > Adding comments: https://github.com/refined-github/refined-github#writing-comments. - Source: Hacker News / 9 months ago
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 / about 1 year 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 year ago
Violentmonkey - Violentmonkey is a userscript manager to support running userscripts in web pages.
Board for Github - A webview based GitHub project app with native features
Greasemonkey - Customize the way a web page displays or behaves, by using small bits of JavaScript.
GitZip - Download or create a download link for a GitHub project folder/sub-folder or file.
Userscripts - An open-source userscript editor for Safari.
Enhanced GitHub - :rocket: Chrome extension to display size of each file, download link and copy file contents directly to clipboard - softvar/enhanced-github