zv/dotfiles
My configs
Additional completion definitions for Zsh.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
My configs
Scripts for building Emacs packages from Version Control
The Z3 Theorem Prover
An interactive development environment for SMT-LIB files and Z3