Sebastian Prehn's repositories
CCS-eval
CCS evaluator
Language:Standard ML000
docker-migrid
Containerized MiG
Language:ShellGPL-2.0000
infoscreen
Slides til infoskærmen :art:
Language:HTMLWTFPL000
Lox
An interpreter based on Robert Nystrom's book Crafting Interpreters
Language:JavaMIT000
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.
Language:PythonGPL-2.0000
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
GPL-2.0000
nbi-jupyter-docker-stacks
A collection of docker jupyterlab/notebook images used at the University of Copenhagen
Language:Jupyter NotebookMIT000
pltc-infoscreen
Slides for the PLTC infoscreen
Language:JavaScript000
SebastianPrehn
whoami
MIT000