Я считаю, что это самый исчерпывающий список: http://live.gnome.org/GnomeShell/Extensions
Если вы чувствуете себя авантюрно, вы всегда можете попытаться создать свою собственную. Полезное руководство здесь: http://live.gnome.org/GnomeShell/Extensions