1 repository
Algorithms used to narrow down text-based lists via various matching patterns.
Distinct from Regex-Based Search Filters: Closest candidates focus on file-system regex or music searches; this is general-purpose list filtering logic.
Explore 1 awesome GitHub repository matching user interface & experience · List Filtering Algorithms. Refine with filters or upvote what's useful.
Rofi is a keyboard-driven application launcher and window switcher for X11 desktops. It functions as a scriptable command palette and a compatible emulator for dmenu, capable of reading options from standard input and returning a user selection to standard output. The project is distinguished by a customizable window interface using a CSS-like theming system and a flexible box-model widget hierarchy. It features a recursive theme inheritance system and responsive styling that adapts based on screen dimensions and monitor identifiers. The tool provides advanced text filtering using fuzzy, reg
Implements advanced filtering using fuzzy, regex, glob, and prefix matching with tokenization and negation.