zv/dotfiles
My configs
The Rust package manager
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