Denmark 🇩🇰
Source files for the arena website
Dotfiles for my different machines
My blog and personal website
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