Demo repository for lecturing web programming