castagnag

Pinned Repositories

EDS
typecheck entry of the Encyclopedia of Database Systems
Language:TeX0 1 00
gnome-shell-open-terminal
When 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.
Language:JavaScript0 1 00
pcminer
PC-miner tool for program chairs
Language:JavaScript00
SIGPLAN.github.io
SIGPLAN website
Language:HTML0 1 00
pcminer
PC-miner tool for program chairs
Language:HTML23 4 528

castagnag's Repositories

castagnag/EDS
typecheck entry of the Encyclopedia of Database Systems
Language:TeX0 1 00
castagnag/gnome-shell-open-terminal
When 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.
Language:JavaScript0 1 00
castagnag/pcminer
PC-miner tool for program chairs
Language:JavaScript00
castagnag/SIGPLAN.github.io
SIGPLAN website
Language:HTML0 1 00