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:
- Eruda plugin for navigating dom tree☆24Updated 4 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
- Chrome extension providing many features to gain productivity on StackOverflow☆46Updated 2 years ago
- A Google Chrome extension for bookmarking your favourite snippets of code! Keep less in your head and learn more.☆17Updated 2 years ago
- A snapshot based chrome extensions manager☆31Updated 7 years ago
- zsh-plugin for my brew aliases☆19Updated last year
- Browser addon for FireFox & Chrome to save active tabs as Markdown☆16Updated 2 years ago
- Userscripts to add functionality to miscellaneous sites☆37Updated 4 years ago
- Command line utility for sync and backup OneTab Chrome extension data.☆58Updated 7 years ago
- browser extension to integrate external editor to edit HTML node elements☆25Updated 5 years ago
- Awesome Firefox Extensions☆58Updated 3 years ago
- Centralize, view, edit, label and organize collections of your favorite URLs 🔗 📙☆37Updated 2 years ago
- vscode extension to check and dedup duplicate lines☆31Updated last year
- Time-saving and life-enhancing (ahem) bookmarklets☆88Updated 4 months ago
- Super Bookmark Desktop - the new tab page + bookmark manager that acts like your computer desktop!☆55Updated 2 years ago
- Extension for Google Chrome☆20Updated 2 years ago
- Chrome extension to display the full content of articles in Feedly☆65Updated 2 years ago
- Elementary extension manager. Compact design, no superfluous features.☆69Updated 4 years ago
- My small script collection☆40Updated 6 years ago
- Search Google without being redirected to local search results☆39Updated 2 years ago
- ☆16Updated 3 months ago
- Arrgh Some Patchy Goodness to GitHub!☆59Updated 7 years ago
- This is a handy chrome extension for markdown markup☆24Updated last year
- This is a zsh initialization file (e.g. /etc/zshrc or ~/.zshrc) which activates a lot of zsh features☆12Updated 3 years ago
- A curated list of amazingly awesome Chrome extensions.☆87Updated 3 months ago
- ⚡️ Chrome Extension to quickly find and run bookmarklets☆68Updated last year
- Simplified and community-driven man pages for chrome!☆18Updated 3 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 3 months ago
- Userscript to Better (or Older and Good) Google☆57Updated 5 months ago
- 🎹 Keyboard Enhancements for Mac☆13Updated 11 years ago