☰

GitHub Advanced Search Builder

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

Hoe installeer ik dit?

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey, Greasemonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Userscripts.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een gebruikersscriptbeheerder nodig.

(Ik heb al een user script manager, laat me het downloaden!)

Hoe installeer ik dit?

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

(Ik heb al een beheerder - laat me doorgaan met de installatie!)

Maker
quantavil
Dagelijks aantal installaties
0
Totaal aantal installaties
0
Beoordelingen
0 0 0
Versie
1.8
Gemaakt op
26-12-2025
Bijgewerkt op
26-12-2025
Grootte
16,8 KB
Licentie
MIT
Wordt toegepast op

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