>>715148743
rofi, but it's a more nice looking version of dmenu. The entire idea of having a list of things and doing a fuzzy search to select an item from that list comes from a dmenu program, so if you look for dmenu or dmenu like programs you can find many different versions of it