Statistics for this project are still being loaded, please check back later.
Extend GitHub pages with math, graphs etc.
My small script collection
Code for Tutorial on Adding Keyboard Shortcuts (commands) in Chrome Extensions
Collection of custom UserJS (userscripts) for several sites.
An awesome collection of userscripts
User script for a better experince when using a reverse tree on Duolingo
A userscript (viz. Greasemonkey/Tampermonkey/Violentmonkey script) to remove the User ID from sho...
Tampermonkey is the most popular userscript manager, with over 10 million users. It's available f...
Stack Overflow Extras: a userscript for the Stack Exchange websites to add a bunch of optional to...
Adds download buttons to more easily hoard images from Reddit
LaTeX math wherever you want