Minimalism Gnome Shell Extensions
☆28May 22, 2021Updated 5 years ago
Alternatives and similar repositories for Minimalism-Gnome-Shell
Users that are interested in Minimalism-Gnome-Shell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Icons based on OS X Yosemite/El Capitan for Ubuntu with Unity☆20Nov 4, 2017Updated 8 years ago
- Vala language support for Atom☆11Oct 11, 2016Updated 9 years ago
- GNOME Shell Extension. Hides top panel, except in overview.☆18Feb 20, 2015Updated 11 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- some themes for GTK2/3 and Gnome shell☆37Apr 8, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple, lightweight, GTK3 based desktop environment☆17Oct 14, 2015Updated 10 years ago
- Gnome extension that allows to swtich windows like Windows with the touchpad☆25Sep 26, 2024Updated last year
- GNOME Shell extension that shows workspaces buttons in top panel☆42Nov 10, 2022Updated 3 years ago
- ☆13Aug 4, 2025Updated 11 months ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- ☆14Apr 17, 2023Updated 3 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- PasswordMaker powered by WebExtension☆16Jan 30, 2019Updated 7 years ago
- A theme for GNOME/Budgie/Xfce/Cinnamon desktop with elementary-ish aesthetics.☆150Sep 8, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Internet radio browser plugin for rhythmbox☆13Jun 15, 2011Updated 15 years ago
- EUTelescope -- A Generic Pixel Telescope Data Analysis Framework☆14May 4, 2020Updated 6 years ago
- Light phylogeny library for Rust☆11Oct 24, 2025Updated 9 months ago
- E-mail filter and classifier based on Bayesian learning☆17Jan 4, 2022Updated 4 years ago
- A password manager for GNOME☆37Jul 11, 2026Updated 2 weeks ago
- gnome shell extension to enable/disable extension easily via a panel menu☆39Jun 13, 2021Updated 5 years ago
- Open-source platform for wearable analytics☆12Aug 28, 2018Updated 7 years ago
- Dark version of the Windows 10 Icon theme☆11Aug 12, 2019Updated 6 years ago
- Bring Out Submenu Of Power Off Button☆32Apr 11, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A colorful Design circle icon theme for linux desktops☆11Oct 2, 2021Updated 4 years ago
- Configuration files for Unbound as a caching DNS server with DNSSEC validation and DNS over TLS forwarding.☆13Jan 13, 2019Updated 7 years ago
- Easy swapping of text in Vim☆20Apr 6, 2020Updated 6 years ago
- ☆11Feb 23, 2017Updated 9 years ago
- ☆10Aug 12, 2015Updated 10 years ago
- NetInfo Widget for Android☆12Sep 1, 2019Updated 6 years ago
- Raw command line use of Tor's controller☆13Updated this week
- Gnome Shell Extension to control Web and Database Server in a GUI Panel☆13Apr 2, 2016Updated 10 years ago
- Rust iterator extensions for instruction-parallel reductions☆16May 28, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An extension for telescope.nvim that allows you to search font glyphs☆14May 22, 2026Updated 2 months ago
- Plugin for Isochronic Tone Modulation in Audacity☆11Apr 2, 2019Updated 7 years ago
- gnome-shell extension for todolist with subsections.☆17Mar 26, 2023Updated 3 years ago
- GTK theme based on original Adwaita, default theme of the GNOME desktop☆11Jun 21, 2023Updated 3 years ago
- Gnome Shell Extension - Execute multiple shell commands periodically with separate intervals and display the output in gnome top bar.☆102Apr 24, 2026Updated 3 months ago
- Text Scaler extension for GNOME Shell☆17Jun 9, 2026Updated last month
- With QRit you can create awesome QR codes 🤖️☆37Nov 17, 2022Updated 3 years ago