arianrhodsandlot / devdocs-web-extLinks
A browser extension for DevDocs.
☆32Updated last year
Alternatives and similar repositories for devdocs-web-ext
Users that are interested in devdocs-web-ext are comparing it to the libraries listed below
Sorting:
- A Google Chrome extension for bookmarking your favourite snippets of code! Keep less in your head and learn more.☆17Updated 2 years ago
- ⚡️ Chrome Extension to quickly find and run bookmarklets☆68Updated last year
- A snapshot based chrome extensions manager☆31Updated 7 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
- A curated list of amazingly awesome Chrome extensions.☆88Updated 2 months ago
- ✨ SplitUp! is a browser extension allows a user to split tabs into a different window, save session, export tabs, supports multiple scree…☆78Updated 3 years ago
- My small script collection☆40Updated 6 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 3 months ago
- Plugin install helper app, unfinished.☆75Updated 11 months ago
- Convert URLs to Markdown links: Extracts URLs from text → Gets their article title → Creates Markdown links☆85Updated 2 years ago
- Elementary extension manager. Compact design, no superfluous features.☆69Updated 4 years ago
- Search Google without being redirected to local search results☆39Updated 2 years ago
- Awesome Firefox Extensions☆57Updated 3 years ago
- Command line utility for sync and backup OneTab Chrome extension data.☆58Updated 7 years ago
- Time-saving and life-enhancing (ahem) bookmarklets☆88Updated 3 months ago
- Super Bookmark Desktop - the new tab page + bookmark manager that acts like your computer desktop!☆55Updated last year
- A curated collection of awesome bookmarklets! 🚀☆43Updated 2 weeks ago
- Arrgh Some Patchy Goodness to GitHub!☆60Updated 7 years ago
- vscode extension to check and dedup duplicate lines☆31Updated last year
- ☆16Updated 3 months ago
- Simplified and community-driven man pages for chrome!☆18Updated 3 years ago
- Centralize, view, edit, label and organize collections of your favorite URLs 🔗 📙☆37Updated 2 years ago
- Userstyle to set a custom tab-size on GitHub and Gist☆18Updated 5 years ago
- Alfred workflow to search Learn Anything☆149Updated last year
- Chrome extension providing many features to gain productivity on StackOverflow☆46Updated 2 years ago
- 🎹 Keyboard Enhancements for Mac☆13Updated 11 years ago
- Library for extracting attachments, notes and metadata out of formats used by popular note-taking apps.☆122Updated last year
- The command line interface to Cacher.☆112Updated 2 weeks ago
- zsh-plugin for my brew aliases☆18Updated last year
- Eruda plugin for navigating dom tree☆24Updated 4 years ago