A simple timer
☆44Mar 5, 2021Updated 5 years ago
Alternatives and similar repositories for gnome-shell-timer
Users that are interested in gnome-shell-timer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gnome shell extension☆14Oct 27, 2012Updated 13 years ago
- Enables zooming of the gnome shell using alt and mousewheel☆65Oct 17, 2020Updated 5 years ago
- The amazing bullgit homepage☆23Mar 19, 2024Updated 2 years ago
- [No more maintained] A Symfony plugin to manage dynamic templates cache invalidation on Doctrine objects save☆16Nov 18, 2010Updated 15 years ago
- Little Regex "Sudoku" game generator☆21Sep 1, 2015Updated 11 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.
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 7 years ago
- Simple Video to audio Converter☆12Aug 14, 2024Updated 2 years ago
- [symfony 1.4 plugin] adds a composition workflow to your admin module that allows the user to compose a canvas from components/partials a…☆16Apr 3, 2012Updated 14 years ago
- A theme for GNOME and Xfce4.☆24Nov 5, 2024Updated last year
- Simple tool to fetch the changelog of packages from the rpm repositories☆10Aug 30, 2024Updated 2 years ago
- GTK frontend for sftpman v1 (a CLI application and library for managing and mounting sshfs (SFTP) filesystems)☆32Jan 7, 2025Updated last year
- Vim plugin to search, index, and navigate buffer content using regular expression patterns.☆41May 26, 2020Updated 6 years ago
- Extension to make screenshots of a selected area.☆17Jun 19, 2012Updated 14 years ago
- keynav for wayland☆11Nov 16, 2022Updated 3 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.
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.☆81Jan 9, 2024Updated 2 years ago
- Official Vim Runtime Files for C#☆10Mar 13, 2025Updated last year
- New tabs perl plugin for rxvt-unicode.☆21Aug 13, 2010Updated 16 years ago
- DemoBundle demonstrates how to run Behat and Symfony functional tests without a need of installing bundle in a project.☆19Dec 17, 2018Updated 7 years ago
- Emacs-JetBrains IDE bridge☆15Jun 19, 2026Updated 2 months ago
- Dark version of the Windows 10 Icon theme☆11Aug 12, 2019Updated 7 years ago
- A colorful Design circle icon theme for linux desktops☆11Oct 2, 2021Updated 4 years ago
- retire your mouse.☆18Nov 20, 2021Updated 4 years ago
- omnicomplete for autohotkey script☆14Jun 27, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- X-Cat: https://twitter.com/nixcraft/status/1027639812378054656☆12Jun 27, 2026Updated 2 months ago
- [DISCONTINUED] Firefox add-on that allows to customize shortcuts☆74Jul 13, 2016Updated 10 years ago
- Mechanical Tsar (Project Halted, Maintainer Needed).☆11Feb 2, 2022Updated 4 years ago
- ☆11Updated this week
- Bilingual sentence aligner (Gale & Church, 1993)☆14Jan 8, 2026Updated 7 months ago
- GTK theme based on original Adwaita, default theme of the GNOME desktop☆11Jun 21, 2023Updated 3 years ago
- Deprecated, see gnome-shell-screeshot☆50May 8, 2017Updated 9 years ago
- Simplified version of GNU find using the PCRE library for regex.☆23Jan 5, 2020Updated 6 years ago
- Symfony admin generator with jQuery UI Theme Roller integration☆23Oct 29, 2012Updated 13 years 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.
- Text Scaler extension for GNOME Shell☆17Jun 9, 2026Updated 2 months ago
- Highlight matches for the word under the cursor☆38May 25, 2018Updated 8 years ago
- Gnome shell extension MediasPlayers☆20Jun 15, 2011Updated 15 years ago
- Makes adding text to Zim pages from the command line (or another unix process) possible without further user interaction.☆13Jul 5, 2024Updated 2 years ago
- An sshfs profile management script written in bash☆26Nov 23, 2022Updated 3 years ago
- Tabbed plugin for rxvt-unicode with many enhancements☆75Jan 6, 2023Updated 3 years ago
- Gnome extension adding more window management keyboard shortcuts☆15Aug 30, 2026Updated last week