aria's code
some of my personal projects.
index
Name
Description
Idle
argonaut
bark-button
A button that barks when you press it (in the edinburgh hacklab).
doe
A simple command runner / alias manager
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
archives
aoc
Answers to some Advent of Code challenges
blow
a hyper-minimal tiling window manager written in rust
dissertation
Candelabra: Efficient selection of ideal container implementations
fly.io-dist-challenges
Answers to fly.ios distributed systems challenges
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