Aalborg, Denmark
Software engineer and Linux sysadmin
Source files for the arena website
Source files for my personal website
Documentation for adast.dk
cState theme for status.adast.dk
Source files for the adast.dk service status page
Dotfiles for my different machines
Fork of prosody-docker
My neovim config
Scripts for VerifyPN (RPFS) experiments on DEIS cluster
Simple weather forecast utility
Summarize dynamic RDF graphs