Denmark 🇩🇰
My blog and personal website
Source files for the arena website
Dotfiles for my different machines
adast.dk status page
Documentation for adast.dk services
My neovim config
Scripts for VerifyPN (RPFS) experiments on DEIS cluster
Simple weather forecast utility
Summarize dynamic RDF graphs