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.
If you want to try out the code samples directly in your browser, click the following badge:
(You might have to wait for a few minutes for your binder instance to load)