index
NameDescriptionOwnerIdle
dotfilesDotfiles for my different machinesAdam Stück3 months
nvim-confMy neovim configAdam Stück3 months
pipelineScripts for VerifyPN (RPFS) experiments on DEIS clusterAdam Stück23 months
forecastSimple weather forecast utilityAdam Stück2 years
adast.dkSource files for my personal websiteAdam Stück2 months
status.adast.dkSource files for the adast.dk service status pageAdam Stück2 months
arena-webSource files for the arena websiteAdam Stück2 months
status.adast.dk-cstatecState theme for status.adast.dkAdam Stück5 months