GitHub repository: ugjka/dash-to-dock
Primary language: JavaScript
Description: A dock for the Gnome Shell. This extension   moves the dash out of the overview transforming it in a dock for an easier   launching of applications and a faster switching between windows and desktops.