zv/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Nov 1, 2026
zv / melpa
Scripts for building Emacs packages from Version Control
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.
#46547727GitHub 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.