aria's code

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