~adamski

Denmark 🇩🇰

https://adast.dk

~adamski/adast.dk

My blog and personal website

~adamski/arena-web

Source files for the arena website

~adamski/dotfiles

Dotfiles for my different machines

~adamski/status.adast.dk

adast.dk status page

~adamski/adast.dk-docs

Documentation for adast.dk services

~adamski/nvim-conf

My neovim config

~adamski/pipeline

Scripts for VerifyPN (RPFS) experiments on DEIS cluster

~adamski/forecast

Simple weather forecast utility

~adamski/teriyaki

Summarize dynamic RDF graphs