[DEPRECATED] The repository was split into two repositories: https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search and https://github.com/sustmi/gnome-shell-extension-windowoverlay-icons
☆58Oct 23, 2017Updated 8 years ago
Alternatives and similar repositories for gnome-shell-extensions-sustmi
Users that are interested in gnome-shell-extensions-sustmi are comparing it to the libraries listed below
Sorting:
- Gnome shell extension: Shows CPU temperature, HDD temperature, voltage and fan RPM☆169Mar 29, 2024Updated last year
- [Not maintained] GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)☆69Nov 2, 2023Updated 2 years ago
- Gnome Shell Extensions etc...☆66Jun 13, 2021Updated 4 years ago
- Gnome-shell extension disabling hotcorners☆89Jul 9, 2021Updated 4 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 6 years ago
- Icon Hider is a gnome-shell extension for managing status area items.☆31Aug 17, 2021Updated 4 years ago
- This extension disables the "screen shield" that drops down when the computer is idle, removing the need to raise it up☆32Oct 30, 2018Updated 7 years ago
- ☆10Mar 29, 2023Updated 2 years ago
- Witcher 3 Gwent cards checklist☆16Nov 5, 2025Updated 4 months ago
- Symfony bundle for creating dynamic menues☆10Dec 7, 2025Updated 3 months ago
- ☆10Oct 6, 2025Updated 5 months ago
- snapshot backups using rsync☆13Mar 1, 2026Updated last week
- Apply effects to windows being in background☆36Aug 9, 2022Updated 3 years ago
- A curated list of API Platform libraries, resources and shiny things.☆12Nov 22, 2021Updated 4 years ago
- Docker hub & registry☆10Mar 17, 2016Updated 9 years ago
- A few helpers to ease functional API testing in Symfony☆10Nov 29, 2025Updated 3 months ago
- PHP 5.3+ library for generating randomized data from various sources.☆14Jan 10, 2019Updated 7 years ago
- RGB <-> Lab color space conversion☆16Jul 30, 2021Updated 4 years ago
- A Campfire protocol plugin for libpurple (Pidgin)☆48Apr 4, 2013Updated 12 years ago
- Script to convert Symfony config files from XML to PHP☆36Dec 23, 2025Updated 2 months ago
- DEPRECATED☆12Aug 31, 2019Updated 6 years ago
- GNOME Shell Extension for adjusting volume with a mouse wheel☆11Oct 29, 2025Updated 4 months ago
- Shell extension for hamster☆218Sep 29, 2025Updated 5 months ago
- Shows CPUID features and instruction encodings used by x86/x64 binaries☆18Jan 2, 2026Updated 2 months ago
- agenda-notifier.̶e̶l̶ go is a basic notification daemon for org-mode agenda,☆12Sep 5, 2023Updated 2 years ago
- [Inactive] French translation of the Rust Programming Language Book☆15Aug 12, 2019Updated 6 years ago
- Collection of Archlinux mkinitcpio utilities performing various tasks☆14Jun 20, 2025Updated 8 months ago
- ☆13Oct 18, 2017Updated 8 years ago
- web based camera calibration service - frontend☆12May 1, 2023Updated 2 years ago
- part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling☆14Apr 28, 2014Updated 11 years ago
- Fast introsort implementation in Rust☆12Apr 4, 2017Updated 8 years ago
- ☆15May 1, 2018Updated 7 years ago
- visualizing the value of each individual byte in an emulated NES as a time series☆11Jan 6, 2025Updated last year
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- Symfony Bundle for Metrics management thanks to ELK☆10Aug 4, 2017Updated 8 years ago
- Firefox add-on based on WebExtensions API☆10Jul 15, 2018Updated 7 years ago
- HOLO - The Music Amalgamation System☆16Nov 19, 2013Updated 12 years ago
- New page type "folder" to group root pages☆18Feb 16, 2026Updated 3 weeks ago
- A Windows 10 style windows decoration for KDE Plasma☆12Jun 11, 2020Updated 5 years ago