A gnome shell extension that transforms the workspaces into an intellihide dock
☆261Oct 17, 2023Updated 2 years ago
Alternatives and similar repositories for workspaces-to-dock
Users that are interested in workspaces-to-dock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coverflow like Alt-Tab replacement for Gnome-Shell☆405Updated this week
- A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of ap…☆4,297Apr 15, 2026Updated 2 weeks ago
- Gnome Shell Extension - Disconnect Wifi☆44Nov 24, 2025Updated 5 months ago
- Adds Transparency To The Gnome Shell Panel☆226Jun 5, 2024Updated last year
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12☆85May 26, 2020Updated 5 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆32Dec 4, 2020Updated 5 years ago
- GNOME Shell Extension TaskBar☆150Nov 15, 2021Updated 4 years ago
- Pause Gnome Night Light for 10 seconds☆10Apr 30, 2021Updated 5 years ago
- An gnome-shell extension to put the icons back to the tray.☆673May 31, 2023Updated 2 years ago
- Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.☆52Sep 23, 2019Updated 6 years ago
- Apply a Blur Effect to GNOME Shell UI elements☆222Apr 19, 2022Updated 4 years ago
- Gnome-Shell extension allowing better interaction with the volume indicator, via mouse scroll/middle-button☆16Jan 28, 2019Updated 7 years ago
- An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system…☆4,377Apr 22, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A small tool to generate gresource files☆11Aug 6, 2015Updated 10 years ago
- Nautilus/Nemo extension to add important information about the current git directory☆151Dec 2, 2018Updated 7 years ago
- ☆16Sep 5, 2022Updated 3 years ago
- ☆55Nov 19, 2018Updated 7 years ago
- Manage GNOME Shell applications folders☆107May 1, 2024Updated 2 years ago
- Read-only mirror of https://gitlab.gnome.org/tuxor1337/hidetopbar. Pull requests and issues on GitHub cannot be accepted and will be auto…☆557Apr 13, 2026Updated 3 weeks ago
- Drop Down Terminal extension for the Gnome Shell☆416Jul 7, 2021Updated 4 years ago
- A tiling window extension for GNOME Shell☆644Apr 17, 2023Updated 3 years ago
- A tiling terminal emulator for Linux using GTK+ 3☆5,670Mar 25, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Disable screensaver and auto suspend☆12Sep 17, 2018Updated 7 years ago
- Gnome Shell Extension - Refresh Wifi☆56Apr 22, 2022Updated 4 years ago
- gnome shell extension to enable/disable extension easily via a panel menu☆39Jun 13, 2021Updated 4 years ago
- This work is done, go see the main budgie-desktop repo☆20Dec 26, 2015Updated 10 years ago
- A GNOME extension allowing easy management of "appfolders" directly from the applications grid.☆93Apr 9, 2020Updated 6 years ago
- Gnome shell extension for closing apps in overview with a middle click☆90Mar 9, 2026Updated last month
- File Sharing Server☆69Oct 2, 2023Updated 2 years ago
- Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way.☆679Nov 14, 2023Updated 2 years ago
- This extension is in low-maintenance mode, see disclaimer in README☆114Apr 10, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- GNOME Shell extension. Search the web directly from Gnome Shell.☆39Dec 12, 2020Updated 5 years ago
- GNOME QuickStart Docs☆12May 22, 2016Updated 9 years ago
- A simple color chooser written in GTK3 (like gcolor2) -- moved to GNOME GitLab☆117Jan 6, 2026Updated 4 months ago
- Switch workspaces by scrolling in the top panel☆75Mar 11, 2026Updated last month
- NoAnnoyance extension for GNOME Shell – Disable the “Window is ready” notification.☆71Dec 5, 2022Updated 3 years ago
- Gnome-Shell Extension. Allow you to use any shader on top of your screen☆20Jul 26, 2024Updated last year
- ☆33Oct 12, 2023Updated 2 years ago