GitHub repository: raspberrypi-ui/pplug-menu
Primary language: C
Description: Panel plugin to provide searchable application menu