Repository used in a workshop at uc.dei