Information and files on various syntax highlighting themes
☆57Mar 22, 2017Updated 8 years ago
Alternatives and similar repositories for Syntax-Themes
Users that are interested in Syntax-Themes are comparing it to the libraries listed below
Sorting:
- A repository for dark themes (that actually aren't broken) made by many users.☆16Sep 30, 2019Updated 6 years ago
- A color theme inspired by the wonderful Material Theme for IntelliJ IDEA.☆16Aug 18, 2019Updated 6 years ago
- Userstyle to make the sidebar in issues and pull requests sticky☆14Apr 23, 2020Updated 5 years ago
- Override styles repo for all supported StylishThemes org styles☆27Aug 7, 2025Updated 6 months ago
- "clickpause.lua" is lua extension for VLC. After activation, click video to toggle Play/Pause☆16Jul 16, 2017Updated 8 years ago
- Greasemonkey-like script handler for the Chrome browser☆15Nov 1, 2010Updated 15 years ago
- A Google Chrome extension for bookmarking your favourite snippets of code! Keep less in your head and learn more.☆17Jan 6, 2023Updated 3 years ago
- A simple application that converts CSS to UserScripts for GreaseMonkey, TamperMonkey, and other UserScript clients.☆17Apr 16, 2017Updated 8 years ago
- Applies custom CSS to some sites built with ShadowDOM☆17Jul 18, 2024Updated last year
- HTML Escape extension for Visual Studio Code☆14Jun 25, 2021Updated 4 years ago
- Compact details in the news feed☆22Jul 15, 2023Updated 2 years ago
- Some user scripts and styles☆15Nov 11, 2025Updated 3 months ago
- Experimental anything-to-RSS converter based upon Dan-Q/chromiddleware☆21Jul 6, 2022Updated 3 years ago
- Create the shell environment of your dreams☆18Jun 9, 2020Updated 5 years ago
- Userscripts for: Pixiv, DeviantArt, Nijie.info, NicoVideo Seiga,Google, Youtube and more☆79May 19, 2024Updated last year
- Add keyboard support to Chrome's native HTML5 video player.☆40Mar 11, 2024Updated last year
- This web extension adds back "View Image" button to Google Image Search results.☆24Jul 27, 2023Updated 2 years ago
- An npm library of utilities for interacting with and automating Windows☆24May 6, 2021Updated 4 years ago
- A Chrome extension that allows you to create and edit JavaScript code snippets, which are synced to all your computers☆62Jun 16, 2024Updated last year
- Elementary extension manager. Compact design, no superfluous features.☆69Feb 9, 2021Updated 5 years ago
- The KISS, write-less do more, elegant, plugin-extensible way to handle state with diverse origins.☆10Mar 3, 2023Updated 3 years ago
- copy your code with syntax highlight to clipboard, can be used at your slide.☆27Mar 4, 2017Updated 9 years ago
- OS X command-line tool for removing metadata files☆33Apr 9, 2017Updated 8 years ago
- One click Full Gui in ahk for windows. Multi mirror and more☆26Sep 28, 2021Updated 4 years ago
- An arctic, north-bluish clean and elegant Guake color theme.☆30May 1, 2023Updated 2 years ago
- Copy Css Selector chrome extension☆28May 1, 2020Updated 5 years ago
- Awesome user scripts☆25Mar 3, 2023Updated 3 years ago
- Stop Autoplay for YouTube™ (Extended), a Google Chrome Extension.☆27Jun 4, 2024Updated last year
- All my old code in various languages. Some of it is better than the rest.☆28Feb 13, 2026Updated 2 weeks ago
- A simple C# (Windows Forms) application for measuring angles between any objects on the screen.☆15Dec 2, 2025Updated 3 months ago
- Data binding and templating for godot control ui☆37Jun 17, 2025Updated 8 months ago
- WebExtension module: Automatically registers your content_scripts on domains added via permission.request☆93Feb 1, 2025Updated last year
- A user style manager for Firefox 57+ which can load local files and apply UI styles☆38Jan 14, 2022Updated 4 years ago
- Light will blind you in your search for answers, dark will make them shine. May the dark be kinder on thine eyes. (DuckDuckGo dark theme)☆27Mar 1, 2025Updated last year
- CLI for Unibeautify☆36Feb 13, 2026Updated 2 weeks ago
- "Mirror" of the official Imagus source hosted on Google Drive☆73Sep 6, 2023Updated 2 years ago
- A GitHub Action to install TeX Live☆38Feb 2, 2026Updated last month
- Chrome extension to alter the Content Security Policy of webpages.☆37Jun 16, 2018Updated 7 years ago
- ☆11Jan 6, 2023Updated 3 years ago