A Greasemonkey/Tampermonkey script to improve browsing on people.epfl.ch
-
Updated
Jan 18, 2024 - JavaScript
#
epfl-userscript
Here are 6 public repositories matching this topic...
A user script to improve browsing on people.epfl.ch and search.epfl.ch
-
Updated
Jan 18, 2024 - JavaScript
A Greasemonkey/Tampermonkey/Violentmonkey script to improve browsing on network.epfl.ch
-
Updated
Oct 28, 2017 - JavaScript
Improve browsing experience on distrilog
-
Updated
Nov 3, 2017 - JavaScript
A Greasemonkey/Tampermonkey/Violentmonkey script to improve browsing on search.epfl.ch
-
Updated
Aug 31, 2018 - JavaScript
A script to add shortcut icon to some valuable repositories on Github
-
Updated
Nov 18, 2017 - JavaScript
Improve this page
Add a description, image, and links to the epfl-userscript topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the epfl-userscript topic, visit your repo's landing page and select "manage topics."