gnome-shell-extensions

GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell.