GitHub by pr0d
scripts to checkout
Showing English results only. Show results for all languages.
-
-
GitHub Image Preview JS - A userscript that adds clickable image thumbnails
-
GitHub Sort Content JS - A userscript that makes some lists & markdown tables sortable
-
GitHub Table of Contents JS - A userscript that adds a table of contents to readme & wiki pages
-
GitHub Collapse Markdown JS - A userscript that collapses markdown headers
-
GitHub Copy Code Snippet JS - A userscript adds a copy to clipboard button on hover of markdown code snippets
-
Github.com - Extra header links JS - Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
-
GitHub Sortable Filelist JS - appends sorting function to github directories
-
INSTALL USER SCRIPT JS - bitbucket.org, github.com, gitlab.com: Convenient direct “raw” download links (leftmost file icon) to “Install” user scripts from file lists. This will also allow user script auto‐update in most greasemonkey engines, even if the script author has not set @downloadURL and @updateURL.
-
Github User Info JS - Show inline user information on avatar hover.
-
Github Stats JS - Display download stats about the last release of Github projects.
-
GitHub: fix Asciidoc rendering JS - Fix Asciidoc rendering on GitHub: add standard Asciidoc icons to NOTE/TIP/etc., highlight block titles, fix TOC.
-
GitHub Latest JS - Always keep an eye on the latest activity of your favorite projects
-
GitHub Issue Counts JS - A userscript that adds a repo issues count to the repository tab & organization page (https://github.com/:user)
-
GitHub: Issue sort:updated-desc Button JS - Add top level button to sort both issues/pull requests by the most recently updated.
-
Floating Menu Bar (GitHub) JS - Makes the menu bar in GitHub stay at the top of the page when scrolling
-
Find File Shortcut (GitHub) JS - Adds a keyboard shortcut to use GitHub's find file feature
-
GitHub Toggle Wiki Sidebar JS - A userscript that adds a button to toggle the GitHub Wiki sidebar
-
GitHub Issue Comments JS - A userscript that toggles issues/pull request comments & messages
-
GitHub Remove Diff Signs JS - A userscript that hides the "+" and "-" from code diffs
-
GitHub Custom Hotkeys JS - A userscript that allows you to add custom GitHub keyboard hotkeys
-
GitHub Issue Highlighter JS - A userscript that highlights the linked-to comment
-
GitHub CopyCode JS - Copy content of a code-block everywhere on GitHub
-
GitHub Tweaks JS - Userscript that adds tweaks to GitHub.
-
GitHub Font Preview JS - A userscript that adds a font file preview
-
Github Repository Sorter JS - Sorts Github repositories.
-
GitHub Custom Navigation JS - A userscript that allows you to customize GitHub's main navigation bar
-
GitHub Collapse In Comment JS - A userscript that adds a header that can toggle long code and quote blocks in comments
-
GitHub Diff Links JS - A userscript that adds links to diff and pull request headers to jump back & forth between files
-
GitHub Editor - Change Default Settings JS - change default settings for the github editor
-
GitHub Make Tooltips JS - A userscript converts title tooltips into Github Tooltips
-
GitHub Toggle Expanders JS - A userscript that toggles all expanders when one expander is shift-clicked
-
GitHub night mode with reversed colors JS - Blindlingly white backgrounds at night? No problem, tiny and futureproof.
-
GitHub Code Folding JS - A userscript that adds code folding to GitHub files
-
GitHub Diff Files Filter JS - A userscript that adds filters that toggle diff & PR folders, and files by extension
-
RawGit Button for Github.com JS - add a RawGit button for Github.com
-
github no header-dark JS - seamlessly remove .header-dark on github
-
GitHub Indent Comments JS - A userscript that allows you to indent & outdent blocks in the comment editor
-
GitHub FileSize Viewer JS - Show the file size next to it on the website
-
GitHub Search Autocomplete JS - A userscript that adds autocomplete search filters to GitHub
-
Copy github file to clipboard JS - Add copy github file text to clipboard
-
ToggleGist JS - Toggle files in GitHub Gist
-
GitHub top bar enhancement JS - Fix and Auto Hide GitHub Top Bar w/ Ocototree caused headerbar displacement fix
-
Github GitCDN Button JS - An userscript to add "GitCDN" button on github.
-
GitHub HTML Preview JS - A userscript that adds preview links to HTML files
-
GitHub unknown license JS - A userscript that adds "unknown license" message in repos with no license set
-
GitHub Network Ninja JS - Full-viewport graph with searchable commit list on "GitHub repo network" pages.
-
githubwidth JS - resizes github repos for smaller window widths.