The main repo for Chez Bob at UCSD.