"topic:epfl-userscript" — Search | GitHunt

Repositories Developers Collections

© 2026 GitHunt · tansuasici

5 results for “topic:epfl-userscript”

epfl-dojo/EPFL_People_UserScript

A Greasemonkey/Tampermonkey script to improve browsing on people.epfl.ch

JavaScript84Updated 2 years ago

epflepfl-peopleepfl-userscriptgreasemonkeytampermonkey

ponsfrilus/EPFL_EPNET_UserScript

A Greasemonkey/Tampermonkey/Violentmonkey script to improve browsing on network.epfl.ch

JavaScript60Updated 8 years ago

epflepfl-epnetepfl-userscriptepnetuserscript

ponsfrilus/EPFL_Github_UserScript

A script to add shortcut icon to some valuable repositories on Github

JavaScript50Updated 8 years ago

epflepfl-userscriptuserscript

epfl-dojo/EPFL_Distrilog_UserScript

Improve browsing experience on distrilog

JavaScript50Updated 8 years ago

epflepfl-distrilogepfl-userscriptuserscript

epfl-dojo/EPFL_Search_UserScript

A Greasemonkey/Tampermonkey/Violentmonkey script to improve browsing on search.epfl.ch

JavaScript51Updated 7 years ago

epflepfl-dojoepfl-searchepfl-userscript