erosman / CodeMirror-plusLinks
Additonal features for CodeMirror
☆14Updated last year
Alternatives and similar repositories for CodeMirror-plus
Users that are interested in CodeMirror-plus are comparing it to the libraries listed below
Sorting:
- Crowdsource (y)our view. Universal tweaks to refine, renew, re-imagine the web. (Imagine uBlock 'My Filters' as a global collaboration)…☆14Updated last year
- Elementary extension manager. Compact design, no superfluous features.☆69Updated 4 years ago
- 🕶️ Track your browsing history in incognito mode.☆25Updated 2 years ago
- Be smarter & faster. Chrome deletes history after 90 days. 'Senile storage' is a paradox (Storage is to reduce forgetting, not promote it…☆14Updated 2 years ago
- Browser extension, which allows you to navigate back by just hitting the mouse on the left or right side of your screen.☆20Updated last year
- Chrome extension to enable and disable other extensions quickly☆13Updated 2 years ago
- All my old code in various languages. Some of it is better than the rest.☆28Updated 8 months ago
- Tabius is a customizable, and easy to use Tab Grouping extension for Chrome.☆32Updated 5 months ago
- A fully reworked fork of View-Image-Info-Chrome extension☆17Updated last year
- A browser extension to search for magnet links from The Pirate Bay directly from a popup toolbar☆20Updated last week
- @kidonng's user scripts, styles & patches☆33Updated 2 years ago
- A userscript library to show lyrics from genius.com on other websites☆15Updated 3 months ago
- A Graphical user interface for userscripts☆50Updated 6 months ago
- Override styles repo for all supported StylishThemes org styles☆27Updated 2 weeks ago
- A collection of user scripts that I made to make my experience on the web a little nicer☆17Updated last year
- An ES6 Map wrapper for the synchronous userscript storage API☆13Updated last week
- a simple yet powerful note-taking solution to replace my QuickFox project!☆27Updated 2 years ago
- A customizable dark theme for web pages☆18Updated 5 years ago
- ☆16Updated 3 years ago
- UserCSS theme sharing site☆20Updated 3 years ago
- Online editor support for Tampermonkey's userscripts☆22Updated 6 months ago
- a cross browser extension to detect and download video, audio and image sources☆45Updated 3 weeks ago
- Browser Extension to manage tabs and bookmarks professionally☆27Updated this week
- Browser extension that disables autoplay on YouTube☆39Updated last year
- A collection of some of the userscripts I created.☆28Updated last year
- A web-based video player with playback speed rate control, speed boosting, and more☆18Updated last year
- ☆11Updated 6 years ago
- Add all of your starred repos to raindrop.io☆15Updated 4 years ago
- A yeoman generator to create a userscript project rapidly☆125Updated 3 months ago
- Browser extension to open links in a sidebar instead of a new tab.☆39Updated this week