☰

GitHub Advanced Search Builder

Advanced filter modal for GitHub search with OR/AND/NOT logic and native look.

Come installare

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

You will need to install an extension such as Tampermonkey to install this script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Come installare

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

Autore
quantavil
Installazioni giornaliere
0
Installazioni totali
0
Valutazione
0 0 0
Versione
1.8
Creato il
26/12/2025
Aggiornato il
26/12/2025
Dimensione
16,8 KB
Licenza
MIT
Applica a

GitHub Advanced Search Builder

A lightweight userscript that adds an advanced search modal to GitHub's header, allowing you to build complex search queries with ease using AND, OR, and NOT logic, along with various metadata filters.

Features

  • Visual Builder: No need to remember GitHub's search syntax.
  • AND/OR/NOT Logic: Easily combine or exclude terms.
  • Metadata Support: Filter by user/owner, repository, language, file extension, stars, forks, and file path.
  • Native Look: Styled using GitHub's design system variables for a seamless experience.
  • Hotkeys: Toggle the modal with Ctrl+Shift+F.
  • Responsive: Works with both the legacy and the new GitHub header designs.

Installation

  1. Install a userscript manager like Tampermonkey or Greasemonkey.
  2. Click here (replace with actual raw link if different) to install the script.
  3. Refresh GitHub to see the "Filter" button next to the search bar.

Usage

  • Click the Filter button or press Ctrl+Shift+F.
  • Fill in your criteria.
  • Hit Search to be redirected to the results page.

License

MIT