This repository holds the source code that is used Stefan's thesis.
Feel free to clone/download the repo and try it locally. Make sure to install crestdsl first. Instructions can be found at https://crestdsl.readthedocs.io.
(You might have to wait for a few minutes for your binder instance to load)