Cette liste est maintenant plus ou moins remplacée par https://extensions.gnome.org/ où les extensions peuvent être installées et configurées en un clic.
Il existe plusieurs extensions pour gnome-shell. Aidez-moi à compiler une liste d'addons existants
J'ai répondu à ma question en ajoutant les extensions que je connais comme réponses. Comme il existe de nombreuses extensions, chaque réponse est toujours un talon.
Voici une vidéo de certaines des extensions en action: