This is the repo for jos-course I am taking, it is from the fall 2012