Repository for Summer course CS 512