GitHub repository: palopezv/gs-extensions-drop-down-terminal
Primary language: JavaScript
Description: Drop Down Terminal extension for the Gnome Shell