Explore projects

Container repo for issues that don't belong anywhere else.

NixOS configuration for our core services.

tardisproject.uk

Our logo, in various different forms.

My desktop NixOS configs Moved to https://code.aria.rip/nixcfgs

My personal website Moved to https://code.aria.rip/aria.rip/

An (outdated) 3D Game Library in Rust.

Answers for AoC 2020-2022, in a mix of languages. Moved to https://code.aria.rip/aoc/

A simple command runner / alias manager. Moved to https://code.aria.rip/doe/

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

The repo for BetterInformatics File Collection. It's a diverged fork of ETH Zurich's Community-Solutions software. https://files.betterinformatics.com

Contributions and merge requests are welcome by anybody! Just create a Tardis account to get started.

Answers for fly.io's distributed systems challenges Moved to https://code.aria.rip/fly.io-dist-challenges/

Moved to https://code.aria.rip/dissertation/

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

Interactively download lecture recordings from Echo360 in your terminal!