Here's the repo https://github.com/nahorov/Hendrix-Systems-Lab