Explore projects

NixOS configuration for our core services.

NixOS configuration for our core services.

tardisproject.uk

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

NixOS configuration for our core services.

NixOS configuration for our core services.

tardisproject.uk

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.

tardisproject.uk

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.

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!

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.