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