There is also jgmenu, fast, customizable, does not use toolkits but cairo and pango to render the menu. Possibility to add widgets such as search box. https://github.com/jgmenu/jgmenu In the repo.