zv/melpa
Scripts for building Emacs packages from Version Control
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Scripts for building Emacs packages from Version Control
The Z3 Theorem Prover
An interactive development environment for SMT-LIB files and Z3
The Rust package manager