Repository for CS 512 in summer 2014