|
|
JavaScript |
2 |
experimental Userscripts and stylesheets for userscripts safari extension |
Oct 25, 2023 |
|
|
JavaScript |
2 |
My userscripts for UWaterloo websites |
Nov 20, 2021 |
|
|
None |
3 |
Collection of userscripts for different websites |
Oct 15, 2022 |
|
|
JavaScript |
2 |
My custom userscripts |
May 17, 2021 |
|
|
JavaScript |
7 |
My userscripts for various websites such as Wanikani, Discourse, and Bunpro |
Mar 27, 2023 |
|
|
CSS |
4 |
User-defined css stylesheets for popular Chinese websites. |
Jan 28, 2023 |
|
|
CSS |
32 |
userscripts/custom CSS files for Roam Research |
Feb 02, 2023 |
|
|
JavaScript |
2 |
Violentmonkey / Greasemonkey userscripts for improving the behavior of various websites |
May 01, 2023 |
|
|
JavaScript |
2 |
Collection of custom UserJS (userscripts) for several sites. |
Apr 11, 2023 |
|
|
JavaScript |
8 |
Less custom stylesheets instead of CSS |
Nov 09, 2021 |
|
|
JavaScript |
9 |
SASS custom stylesheets instead of CSS |
Apr 07, 2022 |
|
|
CSS |
6 |
Custom stylesheets for Brett Terpstra’s Marked 2 app |
May 03, 2015 |
|
|
CSS |
3 |
custom CSS for websites |
Jun 09, 2022 |
|
|
JavaScript |
13 |
A collection of small userscripts I made because websites suck. |
Apr 10, 2023 |
|
|
CSS |
3 |
CSS user stylesheets for transforming various third-party websites into dark mode |
Dec 27, 2022 |
|
|
JavaScript |
3 |
Userscripts that I have created to enhance the experience on certain websites. |
Mar 07, 2023 |
|
|
TypeScript |
3 |
Extract CSS custom properties (a.k.a CSS variables) and their values from stylesheets. |
May 24, 2022 |
|
|
Python |
6 |
Userscripts for qutebrowser |
Jul 21, 2022 |
|
|
JavaScript |
2 |
UserScripts for Greasemonkey |
Sep 16, 2022 |
|
|
Lua |
3 |
userscripts for mpv |
Jul 15, 2022 |
|
|
JavaScript |
2 |
Userscripts for democracyclub.co.uk |
Feb 09, 2023 |
|
|
JavaScript |
3 |
userscripts for AtCoder! |
Jan 28, 2023 |
|
|
Python |
5 |
Userscripts for learnit |
Jul 13, 2017 |
|
|
JavaScript |
4 |
Userscripts for Letterboxd.com |
Dec 05, 2022 |
|
|
JavaScript |
2 |
Userscripts for GreaseMonkey |
May 14, 2014 |
|
|
JavaScript |
2 |
Userscripts for ebay |
Jan 27, 2023 |
|
|
JavaScript |
201 |
UserScripts for Firefox, Chrome and etc |
May 15, 2023 |
|
|
JavaScript |
3 |
Userscripts |
Jan 19, 2018 |
|
|
JavaScript |
9 |
UserScripts |
Jun 20, 2022 |
|
|
JavaScript |
13 |
userscripts |
Mar 05, 2023 |
|
|
JavaScript |
4 |
henix's userscripts and bookmarklets |
Dec 11, 2020 |
|
|
JavaScript |
3 |
Facilitates otherwise impossible custom stylesheets by applying classes to blocks identified in custom queries. For … |
May 25, 2023 |
|
|
CSS |
2 |
My custom styles for some websites (stylus) |
Jul 28, 2022 |
|
|
PHP |
2 |
Contains custom functionality for UCSC WordPress Websites. |
Feb 08, 2024 |
|
|
None |
175 |
Stylesheets for Matplotlib |
May 05, 2023 |
|
|
JavaScript |
2 |
constructable stylesheets and d3 |
Jan 27, 2020 |
|
|
JavaScript |
9 |
A bunch of Userscripts I wrote to enhance the user experience of various websites |
Apr 25, 2023 |
|
|
JavaScript |
11 |
Assorted userscripts for Shadertoy.com |
Jan 12, 2022 |
|
|
TypeScript |
12 |
Common UI for userscripts. |
Aug 22, 2022 |
|
|
JavaScript |
13 |
Userscripts for Stack Exchange |
Aug 26, 2022 |
|
|
JavaScript |
4 |
My userscripts for WaniKani |
Sep 13, 2020 |
|
|
JavaScript |
5 |
Userscripts for YouTube, sb.ltn.fi |
Apr 06, 2023 |
|
|
JavaScript |
4 |
Various userscripts for trakt.tv |
Jan 31, 2023 |
|
|
Python |
69 |
Painless userscripts for qutebrowser. |
Mar 28, 2023 |
|
|
JavaScript |
20 |
ESLint Plugin for UserScripts |
Apr 29, 2023 |
|
|
JavaScript |
2 |
Tampermonkey userscripts for discord.com |
Dec 03, 2022 |
|
|
JavaScript |
2 |
Some userscripts for YouTube. |
Jul 30, 2023 |
|
|
JavaScript |
3 |
Userscripts & Userstyles |
May 04, 2022 |
|
|
JavaScript |
3 |
My userscripts |
Apr 05, 2022 |
|
|
JavaScript |
26 |
My Userscripts |
Aug 11, 2022 |