Guake Terminal is customisable drop-down terminal for GNOME Linux desktops. You can instantaneously show and hide your terminal with a single key stroke, execute a command, and then go back to your previous task without breaking your workflow.
It is highly inspirated by the famous terminal used in Quake