elliottt/dbmigrations
A library and program for the creation, management, and installation of schema updates (called migrations) for a relational database.
A wrapper program around cabal and cabal-install that maintains sandboxed build environments.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A library and program for the creation, management, and installation of schema updates (called migrations) for a relational database.
Examples from "Handbook of Practical Logic and Automated Reasoning"
Experimental Story Planner
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.