satysfi-workshop. SATySFi Support for VSCode
satysfi-gitpod-template. Gitpod Template for SATySFi
satysfi-algorithm. Typesetting pseudo-code in SATySFi
satysfi-conf-2022. Slide for SATySFi Conf 2022
gitpod-satysfi. Docker image for SATySFi on Gitpod
