☰

GitHub Advanced Search Builder

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

Comment installer

Vous devrez installer une extension telle que Tampermonkey, Greasemonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Userscripts pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension de gestionnaire de script utilisateur pour installer ce script.

(J'ai déjà un gestionnaire de scripts utilisateur, laissez-moi l'installer !)

Comment installer

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

(J'ai déjà un gestionnaire de style utilisateur, laissez-moi l'installer!)

Auteur
quantavil
Installations quotidiennes
0
Installations (total)
0
Notes
0 0 0
Version
1.8
Créé
26/12/2025
Mis à jour
26/12/2025
Taille
16,8 ko
Licence
MIT
S'applique à

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