franziskuskiefer/gnome-shell-extensions-mediaplayer
A mediaplayer indicator for the gnome-shell.
Public GitHub Catalog
Discovered Sep 29, 2026
franziskuskiefer / scripts
bunch of scripts I use ...
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#16453980GitHub System ID
franziskuskieferOrganization / User
PublicVisibility
ActiveCatalog Status
More from franziskuskiefer
franziskuskiefer/ghost-cards
A simple, full website theme for ghost
franziskuskiefer/PoW
PoW Android Demo Application
franziskuskiefer/guake
Drop-down terminal for GNOME