Gnome shell extension MediasPlayers
☆20Jun 15, 2011Updated 15 years ago
Alternatives and similar repositories for Gnome-shell-extension-Mediasplayers
Users that are interested in Gnome-shell-extension-Mediasplayers 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
- A gnome-shell extensions that adds an option for inhibiting the screensaver to the power menu.☆23May 29, 2012Updated 14 years ago
- CUE definitions for terraform providers☆19Mar 3, 2024Updated 2 years ago
- CUE tool that updates your import lines, adding missing ones and removing unused ones.☆24Feb 10, 2025Updated last year
- HTMLButcher is an advanced HTML slicing tool☆17Aug 22, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Unrar recursively (no longer maintained, fork away)☆15Jul 15, 2013Updated 13 years ago
- Libraries and tools for KiCAD EDA suite☆17Dec 5, 2021Updated 4 years ago
- Interaction handler for touch devices enabling zooming out with a two finger tap.☆15Nov 2, 2016Updated 9 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- GNOME Shell extension to provide a gnome2-like notifications/tray icons☆22Jun 10, 2012Updated 14 years ago
- Midnight theme - KDE Plasma☆24May 12, 2018Updated 8 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Desktop player for streaming local files or network streams to chromecast☆11Aug 26, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/tv-maxe☆11Apr 17, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A JavaScript framework for simple creation of web maps with responsive design supporting a range of different browsers and devices☆16May 3, 2018Updated 8 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆377Jun 7, 2019Updated 7 years ago
- Homotopy type theory cheatsheets☆11Apr 15, 2026Updated 3 months ago
- This script adds recent files to the right-click on the unity-dash's launchers (taskbar program icons)☆14Jul 9, 2018Updated 8 years ago
- ESP8266 based alarm☆11Jan 13, 2016Updated 10 years ago
- ☆13May 18, 2014Updated 12 years ago
- Arista Transcoder☆119Mar 15, 2012Updated 14 years ago
- X7 A4Tech Oscar Mouse Editing for Linux☆11Dec 14, 2012Updated 13 years ago
- Arduino Library for displaying double height characters on an LCD display.☆13Oct 14, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- GLib/GObject wrapper for OpenCL☆15Mar 1, 2017Updated 9 years ago
- Korg Monotron emulator for the Nintendo DS☆14Feb 25, 2017Updated 9 years ago
- Random notes on mathematics (in German)☆13Jul 8, 2026Updated last week
- Manage cisco devices from puppet☆23May 28, 2014Updated 12 years ago
- A Python module to use most Arduino wiring functions on Intel® Arduino capable boards.☆28Oct 14, 2014Updated 11 years ago
- A simple, budget, DIY F16 ICP flight control panel for use with flight simulators such as DCS World☆13Jan 9, 2022Updated 4 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- Integrate your music into Gnome Shell☆34Mar 19, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Firmware for the ColorHug2 device☆15Dec 28, 2016Updated 9 years ago
- This repo contains the packaging information for all applications published on GetDeb.net☆20Feb 25, 2018Updated 8 years ago
- Fingertrees of Bytestrings☆20Dec 3, 2018Updated 7 years ago
- Import the playcount of your currently playing track from Last.fm into Rhythmbox☆19Oct 3, 2016Updated 9 years ago
- Type safe anonymous remote procedures in Haskell☆15Sep 24, 2013Updated 12 years ago
- Radio tray for linux QT☆10Aug 21, 2019Updated 6 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 7 years ago