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
- Awesome Firefox Extensions☆59Updated 3 years ago
- Eruda plugin for navigating dom tree☆24Updated 5 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 collection of awesome bookmarklets! 🚀☆45Updated 3 months ago
- zsh-plugin for my brew aliases☆18Updated last year
- Centralize, view, edit, label and organize collections of your favorite URLs 🔗 📙☆37Updated 2 years ago
- Chrome extension providing many features to gain productivity on StackOverflow☆45Updated 2 years ago
- ⚡️ Chrome Extension to quickly find and run bookmarklets☆68Updated last year
- A snapshot based chrome extensions manager☆32Updated 7 years ago
- Arrgh Some Patchy Goodness to GitHub!☆60Updated 7 years ago
- Navigation menu for technical browser users.☆50Updated last week
- vscode extension to check and dedup duplicate lines☆31Updated last year
- Time-saving and life-enhancing (ahem) bookmarklets☆86Updated 6 months ago
- My small script collection☆40Updated 6 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 6 months ago
- The Wavebox Service API for extending web apps running in Wavebox☆10Updated 6 years ago
- Super Bookmark Desktop - the new tab page + bookmark manager that acts like your computer desktop!☆55Updated 2 years 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
- ✨ 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
- Plugin install helper app, unfinished.☆74Updated last year
- Elementary extension manager. Compact design, no superfluous features.☆68Updated 4 years ago
- Userscripts to add functionality to miscellaneous sites☆38Updated 4 years ago
- The Wavebox 10 extension API☆12Updated 2 years ago
- Run WebSocket requests as Bash commands.☆46Updated 2 years ago
- Chrome extension that limits opened tabs and queue for new tabs☆74Updated 4 years ago
- ☆16Updated 6 months ago
- cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrator…☆88Updated 3 months ago
- 🔖 Export URLs directly from OneTab's LevelDB database to JSON☆21Updated this week
- Electron client for tldr☆24Updated 6 years ago