franziskuskiefer / app-keys-gnome-shell-extensionView external linksLinks
Unity-like shortcuts for gnome dock applications
☆52Jul 15, 2021Updated 4 years ago
Alternatives and similar repositories for app-keys-gnome-shell-extension
Users that are interested in app-keys-gnome-shell-extension are comparing it to the libraries listed below
Sorting:
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 6 years ago
- Bountysource browser extension.☆13Nov 17, 2016Updated 9 years ago
- Documentation and tutorials for Volt - using gitbook☆19Mar 6, 2016Updated 9 years ago
- Gnome-Shell extension allowing better interaction with the volume indicator, via mouse scroll/middle-button☆16Jan 28, 2019Updated 7 years ago
- A GNOME Shell extension displaying the current sound percentage in the system tray.☆16Mar 25, 2024Updated last year
- Apt Update Indicator☆47Mar 2, 2023Updated 2 years ago
- Fast multi-cluster navigation for K8s admins☆13Jul 19, 2024Updated last year
- Haskell source code formatter☆24Jan 5, 2025Updated last year
- Icon Hider is a gnome-shell extension for managing status area items.☆31Aug 17, 2021Updated 4 years ago
- ☆57Updated this week
- A mood light for twitter indented to be run on the raspberry pi☆13Jul 23, 2014Updated 11 years ago
- pstore, a high-performance, read-optimized database system.☆26Nov 14, 2013Updated 12 years ago
- Elixir -> HTML/JavaScript based presentation framework intended for showing Elixir code☆12Dec 7, 2015Updated 10 years ago
- A TypeScript library for specifying REST APIs for type-enhanced server and client implementations.☆13Jul 21, 2020Updated 5 years ago
- Create pull request of rubocop --auto-correct in CircleCI☆11Dec 31, 2017Updated 8 years ago
- RubyConf 2011 Notes☆12Jun 22, 2012Updated 13 years ago
- Yet another implementation of Python decorators in ruby☆10Aug 24, 2017Updated 8 years ago
- A petit_fatfs port for Arduino IDE and Attiny84☆11Sep 3, 2013Updated 12 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- ☆11Jan 28, 2026Updated 2 weeks ago
- Game Boy emulator written in Rust☆13Apr 30, 2022Updated 3 years ago
- LuxCoreRender Windows Compilation Environment☆13Jun 3, 2024Updated last year
- The Telescope homepage☆10Jan 24, 2017Updated 9 years ago
- Thunderbird add-on that replaces built-in notifications with the OS native notifications☆166Dec 1, 2018Updated 7 years ago
- Vue-powered blaze☆35Oct 21, 2016Updated 9 years ago
- Webconverger's curated chroot from which updates originate☆77Jul 4, 2021Updated 4 years ago
- AWS Quick Start Team☆43Oct 3, 2024Updated last year
- Some boilerplate code used across the @actions-rs Actions☆11Jan 3, 2022Updated 4 years ago
- Rock climbing routes randerer for open street maps.☆11Nov 27, 2025Updated 2 months ago
- Mastodon tags explorer☆13May 16, 2018Updated 7 years ago
- A guitar tuner using getUserMedia + Web Audio API☆32Mar 26, 2014Updated 11 years ago
- A lightweight REST interface for upgrading, restarting, and bootstrapping new hosts into an existing Container Management cluster.☆15Aug 26, 2016Updated 9 years ago
- Render GPS data as image☆13Oct 2, 2023Updated 2 years ago
- ☆11Feb 11, 2025Updated last year
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 9 months ago
- Tank Demo using Mittsu☆10Nov 17, 2024Updated last year
- Elm Set built on top of AnyDict☆10Aug 12, 2024Updated last year
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Port of wget to Android☆18Mar 10, 2022Updated 3 years ago