Highlights
- Pro
-
SIGPLAN.github.io Public
Forked from SIGPLAN/SIGPLAN.github.ioSIGPLAN website
HTML UpdatedOct 14, 2018 -
gnome-shell-open-terminal Public
Forked from derekm/gnome-shell-open-terminalWhen desktop icons are disabled in GNOME Shell, nautilus-open-terminal is not effective. This extension re-introduces an "Open Terminal" menu item when right-clicking on the desktop background.
JavaScript UpdatedSep 23, 2017 -
-
pcminer Public
Forked from pcminer-tools/pcminerPC-miner tool for program chairs
JavaScript UpdatedSep 18, 2013