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☆420Aug 5, 2026Updated last 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,357Jul 25, 2026Updated 3 weeks ago
- Adds Transparency To The Gnome Shell Panel☆223Jun 5, 2024Updated 2 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 7 years ago
- Gnome Shell Extension - Disconnect Wifi☆44Nov 24, 2025Updated 8 months ago
- 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.
- GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12☆85May 26, 2020Updated 6 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.☆668May 31, 2023Updated 3 years ago
- GNOME Shell Extension TaskBar☆150Nov 15, 2021Updated 4 years ago
- Apply a Blur Effect to GNOME Shell UI elements☆222Apr 19, 2022Updated 4 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
- Gnome-Shell extension allowing better interaction with the volume indicator, via mouse scroll/middle-button☆16Jan 28, 2019Updated 7 years ago
- A small tool to generate gresource files☆11Aug 6, 2015Updated 11 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,434May 6, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Nautilus/Nemo extension to add important information about the current git directory☆150Dec 2, 2018Updated 7 years ago
- ☆16Sep 5, 2022Updated 3 years ago
- ☆55Nov 19, 2018Updated 7 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…☆554Jul 26, 2026Updated 2 weeks ago
- Drop Down Terminal extension for the Gnome Shell☆415Jul 7, 2021Updated 5 years ago
- A tiling window extension for GNOME Shell☆643Apr 17, 2023Updated 3 years ago
- A tiling terminal emulator for Linux using GTK+ 3☆5,713Jul 1, 2026Updated last month
- Apply effects to windows being in background☆36Aug 9, 2022Updated 4 years ago
- Gnome Shell Extensions etc...☆66Jun 13, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Manage GNOME Shell applications folders☆110May 1, 2024Updated 2 years ago
- Gnome Shell Extension - Refresh Wifi☆57Apr 22, 2022Updated 4 years ago
- gnome shell extension to enable/disable extension easily via a panel menu☆39Jun 13, 2021Updated 5 years ago
- A GNOME extension allowing easy management of "appfolders" directly from the applications grid.☆94Apr 9, 2020Updated 6 years ago
- Gnome shell extension for closing apps in overview with a middle click☆92Jul 11, 2026Updated last month
- This work is done, go see the main budgie-desktop repo☆20Dec 26, 2015Updated 10 years ago
- 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.☆678Nov 14, 2023Updated 2 years ago
- GNOME Shell extension. Search the web directly from Gnome Shell.☆39Dec 12, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Switch workspaces by scrolling in the top panel☆77Mar 11, 2026Updated 5 months ago
- This extension is in low-maintenance mode, see disclaimer in README☆113Apr 10, 2021Updated 5 years ago
- A simple color chooser written in GTK3 (like gcolor2) -- moved to GNOME GitLab☆118Jan 6, 2026Updated 7 months ago
- tiling window manager extension for gnome-shell☆391Jan 22, 2018Updated 8 years ago
- GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intu…☆120Feb 18, 2021Updated 5 years ago
- Gnome-Shell Extension. Allow you to use any shader on top of your screen☆20Jul 26, 2024Updated 2 years ago
- ☆32Oct 12, 2023Updated 2 years ago