vakaras/docker-z3-debian-packaging
Docker image for creating Z3 Theorem Prover Debian packages.
Public GitHub Catalog
Discovered Sep 25, 2026
vakaras / RSysReqs
RSys reikalavimų specifikacija
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.
#2910374GitHub System ID
vakarasOrganization / User
PublicVisibility
ActiveCatalog Status
More from vakaras
vakaras/docker-ispin
iSpin in the docker container
vakaras/docker-eclipse
Eclipse IDE in a Docker container
vakaras/scala-investigations
Playing around with Scala compiler.