extensions.gnome.org
GNOME Shell Extensions is a website that provides a platform for discovering, installing, and managing extensions for the GNOME Shell desktop environment. It allows users to add their own extensions and view installed ones. The site is part of The GNOME Project, which develops the GNOME desktop. It is hosted by Red Hat and built using Django and SweetTooth. Content is available under a Creative Commons CC-BY license.