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
- 🎹 Keyboard Enhancements for Mac☆13Updated 11 years ago
- A curated collection of awesome bookmarklets! 🚀☆43Updated 4 months ago
- ☆16Updated 7 months ago
- Chrome extension providing many features to gain productivity on StackOverflow☆44Updated 2 years ago
- zsh-plugin for my brew aliases☆18Updated last year
- Awesome Firefox Extensions☆61Updated 3 years ago
- My small script collection☆40Updated 6 years ago
- Centralize, view, edit, label and organize collections of your favorite URLs 🔗 📙☆39Updated 3 years ago
- PageArchiver (previously called "Scrapbook for SingleFile") is a Chrome extension that helps to archive pages for offline reading☆90Updated 12 years ago
- Bookmarklet compiler encloses, encodes, minifies your Javascript file and opens an HTML page with your new bookmarklet for immediate use…☆177Updated 8 years ago
- Command line utility for sync and backup OneTab Chrome extension data.☆58Updated 8 years ago
- A curated list of amazingly awesome Chrome extensions.☆96Updated 3 months ago
- Elementary extension manager. Compact design, no superfluous features.☆68Updated 4 years ago
- bookmarklets is a curated list of, you guessed it, bookmarklets that are useful on the web.☆86Updated 10 years ago
- Userscripts to add functionality to miscellaneous sites☆38Updated 4 years ago
- ✨ SplitUp! is a browser extension allows a user to split tabs into a different window, save session, export tabs, supports multiple scree…☆80Updated 3 years ago
- ⚡️ Chrome Extension to quickly find and run bookmarklets☆65Updated last month
- Show open tabs☆35Updated 8 years ago
- Eruda plugin for navigating dom tree☆24Updated 5 years ago
- The command line interface to Cacher.☆110Updated 4 months 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
- Search Google without being redirected to local search results☆38Updated 2 years ago
- A snapshot based chrome extensions manager☆32Updated 7 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 7 months ago
- The Wavebox 10 extension API☆12Updated 2 years ago
- 🔖 Export URLs directly from OneTab's LevelDB database to JSON☆21Updated last week
- Browser addon for FireFox & Chrome to save active tabs as Markdown☆15Updated 2 years ago
- Simple Python script that exports all Github Stars for a given user into an HTML file importable by Raindrop.io☆15Updated 5 years ago
- Chrome extension for quickly viewing HTML, Javascript and CSS☆76Updated 4 months ago