GitHub repository: Guake/guake
Primary language: Python
Description: Drop-down terminal for GNOME