GitHub repository: rajvesh/guake
Description: Drop-down terminal for GNOME