repo for 6.345 demo website