gnome-shell-extension

Add a toggle to enable/disable CPU frequency boost in Gnome Power/Power Profiles menu.

Gnome shell todo.txt extension

A wallpaper rotator for the GNOME desktop.

A GNOME-Shell extension that displays the kernel version in the top bar

Gnome Shell Extension for Déjà Dup Backup which displays an icon in the system menu

Makes your Menu key actually useful. Hosted primarily at https://git.rensoliemans.nl/rens/MenuMaster

Gnome Shell Extension zum hinzufügen des Benutzernamen und Hostnamen zu Panel.

Aktivitäten Taste entfernt, Anwendungsmenü entfernt, Uhrzeitformat angepasst

Anpassen des Uhrzeiformates im Gnome Panel