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