GitHub repository: GREP-UCLA-ROC/windows-search-provider
Primary language: JavaScript
Description: A GNOME Shell extension that gives you access to open windows through overview search