delcypher/dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
Public GitHub Catalog
Discovered Sep 29, 2026
delcypher / klee-doxygen-webservice
Hacky webservice for automatically regenerating KLEE doxygen docs
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#13804840GitHub System ID
delcypherOrganization / User
PublicVisibility
ActiveCatalog Status
More from delcypher
delcypher/sv-benchmarks
Public repository.
delcypher/cmake_add_custom_command_bug
Public repository.
delcypher/llvmCMakeImportDemo
A demo of importing LLVM into a CMake project via LLVM's exported targets