ddterm/gnome-shell-extension-ddterm

ddterm is an open‑source GNOME Shell extension that adds a drop‑down terminal to the desktop, featuring tabbed sessions for easy multitasking. It runs natively