GitHub repository: sjudenim/extension_control
Primary language: JavaScript
Description: Elementary extension manager. Compact design, no superfluous features.