An application launcher that aims to be fast and themeable, written in Python and Qt