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:
- Super Bookmark Desktop - the new tab page + bookmark manager that acts like your computer desktop!☆55Updated 2 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 4 months ago
- ☆16Updated 4 months ago
- Awesome Firefox Extensions☆59Updated 3 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 snapshot based chrome extensions manager☆32Updated 7 years ago
- Browser addon for FireFox & Chrome to save active tabs as Markdown☆16Updated 2 years ago
- ✨ SplitUp! is a browser extension allows a user to split tabs into a different window, save session, export tabs, supports multiple scree…☆81Updated 3 years ago
- 🎹 Keyboard Enhancements for Mac☆13Updated 11 years ago
- Browser user scripts for Firefox, Chrome, Opera, Safari.☆50Updated 5 years ago
- vscode extension to check and dedup duplicate lines☆31Updated last year
- Elementary extension manager. Compact design, no superfluous features.☆68Updated 4 years ago
- Command line utility for sync and backup OneTab Chrome extension data.☆58Updated 7 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
- Chrome extension to display the full content of articles in Feedly☆65Updated 2 years ago
- Eruda plugin for navigating dom tree☆24Updated 4 years ago
- Run WebSocket requests as Bash commands.☆46Updated 2 years ago
- A curated collection of awesome bookmarklets! 🚀☆44Updated 2 months ago
- Extension for Google Chrome☆20Updated 2 years ago
- My small script collection☆40Updated 6 years ago
- browser extension to integrate external editor to edit HTML node elements☆25Updated 5 years ago
- Centralize, view, edit, label and organize collections of your favorite URLs 🔗 📙☆37Updated 2 years ago
- zsh-plugin for my brew aliases☆19Updated last year
- ⚡️ Chrome Extension to quickly find and run bookmarklets☆68Updated last year
- Arrgh Some Patchy Goodness to GitHub!☆59Updated 7 years ago
- Search Google without being redirected to local search results☆37Updated 2 years ago
- Helps you set the syntax for a view automatically in various ways.☆26Updated last week
- Time-saving and life-enhancing (ahem) bookmarklets☆88Updated 4 months ago
- cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrator…☆86Updated 2 months ago
- Simple Python script that exports all Github Stars for a given user into an HTML file importable by Raindrop.io☆17Updated 4 years ago