Procjects from book "The Elements of Computing Systems" by N. Nisan and S. Shocken