lightness / github-repo-toolsLinks
A set of useful tools helping search dependencies in all repos of github user/org
☆12Updated 2 years ago
Alternatives and similar repositories for github-repo-tools
Users that are interested in github-repo-tools are comparing it to the libraries listed below
Sorting:
- See what's new and what's not in your GitHub dashboard's feeds and in your organizations' feeds.☆37Updated last year
- vscode extension to check and dedup duplicate lines☆31Updated last year
- A Google Chrome extension for bookmarking your favourite snippets of code! Keep less in your head and learn more.☆17Updated 2 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 3 months ago
- dot Files: ZSH setup and productivity tools for development☆16Updated 5 months ago
- An ES6 Map wrapper for the synchronous userscript storage API☆13Updated 2 weeks ago
- A small function for converting HTML to Markdown.☆14Updated last year
- Extension for Google Chrome☆20Updated 2 years ago
- Tool for simple work with url, params, hash☆10Updated 6 years ago
- Frontend part of the Static Marks project☆13Updated last year
- zsh-plugin for my brew aliases☆19Updated last year
- Track SVG Splash feature requests and discussions☆13Updated 5 years ago
- 🔮 A collection of useful Bash/ZSH functions☆32Updated 4 years ago
- 🎹 Keyboard Enhancements for Mac☆13Updated 11 years ago
- Lean Design System Docs☆10Updated 3 years ago
- Additonal features for CodeMirror☆14Updated last year
- Eruda plugin for navigating dom tree☆24Updated 4 years ago
- Browser addon for FireFox & Chrome to save active tabs as Markdown☆16Updated 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
- Torturing Firefox with userchrome.js and userchrome.css in response to Mozilla's successive degradation of the browser window.☆30Updated last week
- Bash configuration files for macOS, Linux and Windows. Tailored to your needs and at your service. 🐚☆54Updated 5 months ago
- @kidonng's user scripts, styles & patches☆33Updated 2 years ago
- Elementary extension manager. Compact design, no superfluous features.☆69Updated 4 years ago
- Material Theme UI for Chrome DevTools☆39Updated 9 months ago
- ☆21Updated 3 years ago
- 🕶️ Track your browsing history in incognito mode.☆25Updated 2 years ago
- A Chrome extension that allows you to create and edit JavaScript code snippets, which are synced to all your computers☆62Updated last year
- Browser extension to fix outdated/broken GitHub links to branches☆30Updated 2 months ago
- 🎥 Tweaks for Youtube!☆11Updated this week
- Powerful `cd` command with fuzzy-search tool.☆30Updated 9 months ago