zv/melpa
Scripts for building Emacs packages from Version Control
Public GitHub Catalog
Discovered Oct 31, 2026
zv / 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.
#45281785GitHub System ID
zvOrganization / User
PublicVisibility
ActiveCatalog Status
More from zv
zv/z3-mode
An interactive development environment for SMT-LIB files and Z3
zv/cargo
The Rust package manager
zv/zsh-completions
Additional completion definitions for Zsh.