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