Explore projects

Interactively download lecture recordings from Echo360 in your terminal!

Catch-all repositories for things that don't need their own repo yet. Moved to https://code.aria.rip/sandbox/

Contains configuration necessary for our Kubernetes cluster, and some related services such as ingress.

openpgp4fpr:601BF8EA293EA91D1B66A3488086F2AEEBA86416

Our logo, in various different forms.