Explore projects

NixOS configuration for our core services.

NixOS configuration for our core services.

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.

tardisproject.uk

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

NixOS configuration for our core services.

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.

Interactively download lecture recordings from Echo360 in your terminal!

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

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

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

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

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

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

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

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

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