delcypher/obs-build
OBS build script, can be used with OBS or stand alone
Public GitHub Catalog
Discovered Nov 1, 2026
delcypher / z3
The Z3 Theorem Prover
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.
#46787907GitHub System ID
delcypherOrganization / User
PublicVisibility
ActiveCatalog Status
More from delcypher
delcypher/docker_aggressive_spawn
Public repository.
delcypher/joogie
Automatically exported from code.google.com/p/joogie
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.