lehnerpat/Hotkeyify
(UNMAINTAINED) Hotkeyify is a wrapper for Spotify (Linux client) that provides global media hotkeys *only* while Spotify is running.
Public GitHub Catalog
Discovered Oct 2, 2026
lehnerpat / JavaIndexedSetView
A Java class to map a set of elements to indices and back, for concise and fast reference by index (think arrays of attributes)
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.
#25676371GitHub System ID
lehnerpatOrganization / User
PublicVisibility
ActiveCatalog Status
More from lehnerpat
lehnerpat/git-identity-switcher
A Python script to quickly switch your Git committer identities
lehnerpat/git-fresh-start
Restart all the branches in your Git repo
lehnerpat/webcomic-grabber
Public repository.