GitHub repository: mrEDitor/gnome-shell-extension-scroll-panel
Primary language: JavaScript
Description: Gnome Shell extension that allows to switch between workspaces and applications by scrolling mouse wheel above the top panel.