☰

GitHub Advanced Search Builder

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

Fra og med 26.12.2025. Se den nyeste version.

Sådan installerer du

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

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

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

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

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

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

Sådan installerer du

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Skaber
quantavil
Bedømmelser
0 0 0
Version
1.7
Oprettet
26.12.2025
Opdateret
26.12.2025
Size
10,6 kB
Licens
MIT
Gælder for

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