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