A collection of extensions for GNOME Shell (forked from previous repo on git.gnome.org) - View it on GitHub