Vitals - GNOME Shell Extensions
Dash to Dock - GNOME Shell Extensions
ArcMenu - GNOME Shell Extensions
Extension List - GNOME Shell Extensions
Burn My Windows - GNOME Shell Extensions
Caffeine - GNOME Shell Extensions
Custom Hot Corners - Extended - GNOME Shell Extensions
Dash to Panel - GNOME Shell Extensions
Coverflow Alt-Tab - GNOME Shell Extensions
TopHat - GNOME Shell Extensions