Gnome shell extension
☆14Oct 27, 2012Updated 13 years ago
Alternatives and similar repositories for gnome-shell-ext-icon-manager
Users that are interested in gnome-shell-ext-icon-manager are comparing it to the libraries listed below
Sorting:
- Enables zooming of the gnome shell using alt and mousewheel☆65Oct 17, 2020Updated 5 years ago
- Import the playcount of your currently playing track from Last.fm into Rhythmbox☆19Oct 3, 2016Updated 9 years ago
- [DEPRECATED] The repository was split into two repositories: https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search…☆58Oct 23, 2017Updated 8 years ago
- Gnome shell extension: Shows CPU temperature, HDD temperature, voltage and fan RPM☆169Mar 29, 2024Updated last year
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- Save pidgin passwords to the system keyring instead of as plaintext☆36Feb 24, 2022Updated 4 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Das Kochbuch, das Nerds das Kochen beibringt☆12Jan 14, 2014Updated 12 years ago
- Nerdfight monitoring service☆10Feb 22, 2017Updated 9 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 5 years ago
- Corsaro is a software suite for performing large-scale analysis of trace data. It was specifically designed to be used with passive trace…☆12Jan 30, 2020Updated 6 years ago
- Unrar recursively (no longer maintained, fork away)☆15Jul 15, 2013Updated 12 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 10 years ago
- The P4 version of the Zodiac FX firmware☆10Jul 25, 2019Updated 6 years ago
- The metroplex project keeps track of all connections in redis so it can find the server address for each given spark id.☆18Jan 2, 2023Updated 3 years ago
- Immutable Store Mixin for Reflux☆10Jun 19, 2017Updated 8 years ago
- Omega supreme adds messaging between multiple primus servers. It needs a server address, spark id and message and the server will then se…☆17Jan 2, 2023Updated 3 years ago
- Example project for getting a LaunchAgent up and running.☆13Jul 17, 2013Updated 12 years ago
- An extensible home automation framework☆70Sep 30, 2015Updated 10 years ago
- A Campfire protocol plugin for libpurple (Pidgin)☆48Apr 4, 2013Updated 12 years ago
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- Odin docset generation for the odin pkgs to be used in Zeal / Dash / Velocity☆11Mar 1, 2026Updated last week
- Rust bindings for the Haiku C-API☆14Apr 3, 2024Updated last year
- agenda-notifier.̶e̶l̶ go is a basic notification daemon for org-mode agenda,☆12Sep 5, 2023Updated 2 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 8 years ago
- Implements the Grid plugin from compiz in a way that works with Gnome-Shell☆25Apr 20, 2012Updated 13 years ago
- A Pushbullet plugin for Pidgin☆42Jul 31, 2018Updated 7 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- SimpleRTM - Interactive Emacs mode for Remember The Milk☆31Aug 22, 2017Updated 8 years ago
- My attempt at writing exploit POCs for various CVEs☆16Feb 8, 2020Updated 6 years ago
- Code source de l'extension Chrome du Décodex☆15Feb 7, 2017Updated 9 years ago
- part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling☆14Apr 28, 2014Updated 11 years ago
- Neuviks Terraform Red Team Workshop☆14Aug 10, 2025Updated 6 months ago
- python programm that activates or deactivates pulseaudio-equalizer based on output port (headphones or speakers)☆12Apr 2, 2014Updated 11 years ago
- QGIS plugin for running mapshaper directly from QGIS.☆12Dec 17, 2023Updated 2 years ago
- ☆18Jun 8, 2015Updated 10 years ago
- New tabs perl plugin for rxvt-unicode.☆21Aug 13, 2010Updated 15 years ago
- A library to process one or more arrays and other code in parallel in a easy way.☆12Dec 23, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/tv-maxe☆11Apr 17, 2017Updated 8 years ago