Vagrant virtual machine setup. A repository is available on the CS Department’s GitLab server that allows you to reproduce the virtual machine that David is using for some of the demos in lectures. The master branch of that repository expects to use VirtualBox, which has been transitioning toward support for Macs with Arm CPUs. You can instead try the dockerbranch of the repository uses Docker to run virtual machines, and should work on Arm CPUs, but is less tested than the master branch.
