aria's code

Name	Description	Idle
aoc	Answers to some Advent of Code challenges
argonaut
bark-button	A button that barks when you press it (in the edinburgh hacklab).
blow	a hyper-minimal tiling window manager written in rust
dissertation	Candelabra: Efficient selection of ideal container implementations
doe	A simple command runner / alias manager
fly.io-dist-challenges	Answers to fly.ios distributed systems challenges
hacklab-kiosk-nix	NixOS configuration for some kiosks/screens in the edinburgh hacklab
lix
sandbox	Catch-all repository for things that dont need their own yet
stockton	An (old) attempt at a 3D game library in Rust	4 weeks
vault-plugin-kerberos-secrets	Kerberos Secret Engine for Vault
wasm-agda	A formalisation of WebAssembly in Agda