Projects for the book "The Elements of Computing Systems"