GitHub repository: mjakeman/extension-manager
Primary language: C
Description: A utility for browsing and installing GNOME Shell Extensions.