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
- zsh-plugin for my brew aliases☆16Updated last year
- Bookmarklet compiler encloses, encodes, minifies your Javascript file and opens an HTML page with your new bookmarklet for immediate use…☆178Updated 7 years ago
- Show open tabs☆35Updated 8 years ago
- User Scripts☆10Updated 4 months ago
- Chrome RSS Subscription Extension☆56Updated 12 years ago
- browser extension to integrate external editor to edit HTML node elements☆25Updated 5 years ago
- Chrome extension to archive opened tabs in a zip file☆13Updated 12 years ago
- Extension for Google Chrome☆20Updated 2 years ago
- A snapshot based chrome extensions manager☆30Updated 7 years ago
- Eruda plugin for navigating dom tree☆24Updated 4 years ago
- vscode extension to check and dedup duplicate lines☆31Updated last year
- Chrome extension providing many features to gain productivity on StackOverflow☆46Updated 2 years ago
- A chrome extension for automatically save the visited pages and the downloaded URLs in your bookmarks.☆16Updated 9 years ago
- A chrome extension to pretty print JavaScript and CSS☆25Updated 5 years ago
- RSS for your gitbook☆25Updated 7 years ago
- 🔧my alfred workflows☆17Updated 8 years ago
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆15Updated 3 years ago
- Arrgh Some Patchy Goodness to GitHub!☆59Updated 7 years ago
- Chrome Extension. Use bookmarks and bookmarklets from the context menu.☆15Updated 9 years ago
- Run WebSocket requests as Bash commands.☆45Updated 2 years ago
- Convert URLs to Markdown links: Extracts URLs from text → Gets their article title → Creates Markdown links☆85Updated 2 years ago
- extract bookmarks from raindrop.io☆10Updated 10 years ago
- Sublime quick search symbol in devdocs☆7Updated 6 years ago
- Chrome extension to enable and disable other extensions quickly☆14Updated 2 years ago
- Time-saving and life-enhancing (ahem) bookmarklets☆88Updated 2 months ago
- Search Google without being redirected to local search results☆39Updated 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 Chrome Extension that displays your bookmarks by date in a sortable searchable table☆20Updated 3 years ago
- Super Bookmark Desktop - the new tab page + bookmark manager that acts like your computer desktop!☆53Updated last year