johan / github-improvedLinks
Incremental UI improvements for github.com, in the form of useful user scripts (Google Chrome or Firefox + Greasemonkey), a Chrome and Opera extension.
☆40Updated 12 years ago
Alternatives and similar repositories for github-improved
Users that are interested in github-improved are comparing it to the libraries listed below
Sorting:
- Chrome RSS Subscription Extension☆56Updated 12 years ago
- Greasefire is a browser extension for Firefox and Chrome that finds relevant userscripts from Userscripts.org for the pages you visit.☆48Updated 12 years ago
- Extension examples for Firefox developer tools☆41Updated 9 years ago
- Install Browser Extensions straight from GitHub Repositories.☆109Updated 9 years ago
- pyGet is Firefox, Chrome and Opera extension that lets you share files with remote computers and smart-phones without the need of any plu…☆19Updated 10 years ago
- Are you an extensions developer? Keep track of your Chrome extensions. Be notified for new comments, ratings and more!☆52Updated 8 years ago
- Fattening is the process of turning scripts into standalone, complete code with no dependencies☆32Updated 9 years ago
- Bookmarklet compiler encloses, encodes, minifies your Javascript file and opens an HTML page with your new bookmarklet for immediate use…☆178Updated 7 years ago
- Project moved to https://gitlab.com/gitlab-org/gitter/realtime-client☆24Updated 6 years ago
- A collection of userscripts specific to Github☆44Updated 9 years ago
- A chrome extension to open a repository from a GitHub page☆38Updated 10 years ago
- Chrome extension for quickly viewing HTML, Javascript and CSS☆74Updated 2 months ago
- Chrome extension for faster web browsing.☆89Updated 5 years ago
- JunctionPoint library and ln clone for Windows.☆35Updated 13 years ago
- DEPRECATED: Firefox/SeaMonkey/Thunderbird extension that makes extension development easier: it allows automatically adding or updating b…☆43Updated 7 years ago
- Show GitHub commit message limits☆24Updated 6 years ago
- Remove Exif and GPS location data from JPEG images☆47Updated 11 years ago
- Export Facebook events to Google Calendar (browser script)☆11Updated 7 years ago
- free, cross-platform SSH terminal client for Firefox and Chrome☆188Updated 4 years ago
- Turn your GitHub stars into Chrome bookmarks☆70Updated 9 years ago
- A download bin for the Scriptish nightlies☆33Updated 10 years ago
- Access your Google Chrome bookmarks online☆61Updated 10 years ago
- Removes duplicate files from specified folders☆47Updated 10 years ago
- An online repository of user styles.☆61Updated 8 years ago
- An extension for displaying dependencies of projects on GitHub☆85Updated 7 years ago
- A WebExtension to help eradicate the Flash pandemic.☆42Updated 8 years ago
- Extensions Update Notifier Chrome Extension☆64Updated 9 years ago
- Bookmarks, History, Website in Chrome DevTools Sidebar Panel☆47Updated 9 years ago
- JS utility methods used by DuckDuckGo☆28Updated 2 years ago
- A script containing several modules designed to help you set up your server as you want it.☆79Updated 10 years ago