Sebastian Prehn's repositories
CCS-eval
CCS evaluator
docker-migrid
Containerized MiG
infoscreen
Slides til infoskærmen :art:
Lox
An interpreter based on Robert Nystrom's book Crafting Interpreters
migrid-sync
MiGrid workspace where master branch is kept strictly in sync with SF upstream svn repo. Any development or experiments should use a branch. You probably want to fork your own clone or work e.g. on the edge branch if you wish to contribute.
migrid-ucph-sites
A collection of UCPH-specific files that used to be bundled with the migrid codebase but are irrelevant to deployments outside UCPH and therefore kept apart
nbi-jupyter-docker-stacks
A collection of docker jupyterlab/notebook images used at the University of Copenhagen
pltc-infoscreen
Slides for the PLTC infoscreen
SebastianPrehn
whoami
PERevFlow
A partial evaluator of reversible unstructured programs