erosman / CodeMirror-plus
Additonal features for CodeMirror
☆13Updated 5 months ago
Alternatives and similar repositories for CodeMirror-plus:
Users that are interested in CodeMirror-plus are comparing it to the libraries listed below
- 🕶️ Track your browsing history in incognito mode.☆25Updated last year
- Chrome extension to enable and disable other extensions quickly☆14Updated 2 years ago
- Browser Extension to manage tabs and bookmarks professionally☆16Updated this week
- A web-based video player with playback speed rate control, speed boosting, and more☆16Updated 5 months ago
- A fully reworked fork of View-Image-Info-Chrome extension☆14Updated 11 months ago
- User Scripts☆10Updated 3 weeks ago
- Be smarter & faster. Chrome deletes history after 90 days. Brains don't start from zero over and over again. ('Senile storage' is a par…☆14Updated 9 months ago
- An ES6 Map wrapper for the synchronous userscript storage API☆13Updated last year
- A replacement for the default Chrome downloads shelf☆18Updated 2 years ago
- Track SVG Splash feature requests and discussions☆12Updated 4 years ago
- A browser extension to search for magnet links from The Pirate Bay directly from a popup toolbar☆17Updated 2 months ago
- Chrome extension to archive opened tabs in a zip file☆13Updated 12 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 last year
- Elementary extension manager. Compact design, no superfluous features.☆66Updated 3 years ago
- A userscript library to show lyrics from genius.com on other websites☆14Updated last week
- ESLint Plugin for UserScripts☆10Updated 4 months ago
- Utility functions to inject content scripts from a WebExtension☆22Updated 6 months ago
- Browser extension, which allows you to navigate back by just hitting the mouse on the left or right side of your screen.☆19Updated 5 months ago
- Utility functions for WebExtensions☆19Updated last week
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆22Updated this week
- Extension for Google Chrome☆20Updated 2 years ago
- Ditto++☆26Updated last year
- A small function for converting HTML to Markdown.☆14Updated last year
- SECRET 🤫☆22Updated 8 months ago
- A snapshot based chrome extensions manager☆30Updated 7 years ago
- ☆18Updated 3 years ago
- a.k.a. Greaselion☆33Updated this week