|
Python |
2 |
Search your pinboard.in account from the gnome-shell |
Jan 17, 2018 |
|
JavaScript |
3 |
Search the Fedora Packages webapp from the gnome-shell |
Aug 13, 2019 |
|
Python |
28 |
Spotify search provider for GNOME Shell |
Mar 20, 2023 |
|
JavaScript |
24 |
A simple calculator for the gnome-shell search overview |
Mar 09, 2022 |
|
Rust |
12 |
Gnome shell search providers for jetbrains IDEs |
Apr 25, 2023 |
|
TypeScript |
12 |
Gnome Shell search provider for Jetbrains IDEs |
Jan 28, 2023 |
|
JavaScript |
2 |
GNOME Shell Android Virtual Device Search Provider |
Dec 09, 2020 |
|
TypeScript |
2 |
Search Repos Of Github User |
Mar 04, 2023 |
|
JavaScript |
4 |
Quickly access your Github repos from your browser omnibox |
Apr 25, 2021 |
|
Python |
54 |
Pass password manager search provider for gnome-shell |
Jul 28, 2022 |
|
Shell |
27 |
Builds And Installs GNOME Shell Theme from GNOME GitLab |
May 30, 2022 |
|
JavaScript |
3 |
A Gnome Shell extension to search and open files or URLs, directly from the overview. |
May 03, 2019 |
|
Swift |
35 |
Search readmes in starred GitHub repos. |
Nov 30, 2021 |
|
Python |
2 |
Search CVE numbers in GitHub repos |
Apr 21, 2023 |
|
Go |
4 |
github-repos -z -search "org:yourorg archived:false" |
Apr 05, 2023 |
|
JavaScript |
11 |
Search GitHub from your omnibar. |
Nov 20, 2022 |
|
JavaScript |
7 |
Edit .desktop files from GNOME Shell! |
Aug 22, 2022 |
|
JavaScript |
2 |
easily add new collaborators to your github repos from the CLI |
Mar 08, 2023 |
|
JavaScript |
3 |
An app to build portfolios from your GitHub repos |
Feb 27, 2021 |
|
VimL |
28 |
search Github and clone repos with Vim |
Apr 16, 2022 |
|
None |
2 |
The ubuntu gnome-shell-extensions |
Aug 09, 2023 |
|
TypeScript |
2 |
A browser extension that allows you to search through your Github repos |
Jun 20, 2022 |
|
Ruby |
676 |
Github markdown previewing straight from your shell. |
Aug 17, 2022 |
|
JavaScript |
6 |
Show one random repo from your starred repos on the GitHub homepage |
Dec 04, 2021 |
|
Go |
7 |
Monitor your Github repos activity |
Aug 19, 2022 |
|
Go |
115 |
GitHub repos in your filesystem |
Nov 17, 2022 |
|
Python |
3 |
Generate the list of your GitHub Repos 🤖 |
Dec 20, 2023 |
|
JavaScript |
8 |
gnome-shell extension |
Jul 12, 2019 |
|
TypeScript |
2 |
Notify your Basecamp Campfire with various events from GitHub repos. |
Dec 01, 2020 |
|
TypeScript |
23 |
This is a Search Provider for Gnome Shell, and it provides DuckDuckGo Search functionality. |
Dec 25, 2022 |
|
JavaScript |
11 |
Egg Timer for the Gnome Shell |
Jul 04, 2022 |
|
Shell |
4 |
Pull all the repos you've starred from GitHub |
Aug 15, 2018 |
|
Python |
7 |
Search folders using Gnome Tracker from Ulauncher |
Mar 08, 2023 |
|
JavaScript |
3 |
Gnome-Shell Extension: Easily launch qpaeq mixer from the system menu |
Apr 16, 2020 |
|
JavaScript |
4 |
Statistics of your GitHub repos 📈 |
Apr 15, 2023 |
|
CSS |
15 |
Displays your public GitHub project repos |
May 03, 2022 |
|
Python |
7 |
Sort your GitHub repos. with tags |
Jun 03, 2022 |
|
C |
6 |
ReplOS's shell - based on GNOME Shell. |
Aug 03, 2022 |
|
JavaScript |
2 |
Tool to chart the languages in your GitHub repos |
Sep 26, 2019 |
|
TypeScript |
3 |
A gnome shell extension to manage your home trash. |
Oct 07, 2022 |
|
JavaScript |
2 |
Get AI-powered explanations instantly in your GNOME Shell |
Mar 10, 2024 |
|
JavaScript |
4 |
ReactJS app to search for github repos on Javascript |
Jun 24, 2021 |
|
JavaScript |
12 |
An Indicator for your ssh tunnels in for the GNOME Shell desktop |
Apr 19, 2022 |
|
C |
6 |
Deepin gnome shell 3.4.1 |
Dec 19, 2019 |
|
CSS |
9 |
Yadwaita GNOME Shell Theme |
Jan 15, 2022 |
|
JavaScript |
31 |
Minimalism Gnome Shell Extensions |
Jul 29, 2022 |
|
None |
152 |
GNOME Shell Extension TaskBar |
Aug 30, 2022 |
|
CSS |
117 |
Minimal Gnome Shell Theme |
Sep 07, 2022 |
|
JavaScript |
64 |
Gnome Shell Extensions etc... |
Aug 26, 2022 |
|
JavaScript |
3 |
gnome shell extension animate |
Apr 17, 2023 |