davidism/cse131 archive