Michele Gaio

dash-to-dock. 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.

adwaita-dashtodock. Default Gnome Shell Adwaita theme with dash-to-dock support

shell-extension-quitfromdash. Adds a quit option to Dash Pop-Over Context Menus, with support for Gnome Shell 3.10. Forked from cldx3000's version.

workspaces-to-dock. A gnome shell extension that transforms the workspaces into an intellihide dock

gnome-shell-extension-cpu-freq. Change CPU frequency from gnome shell