Explore projects

NixOS configuration for our core services.

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

NixOS configuration for our core services.

tardisproject.uk

https://tardis.ed.ac.uk

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

NixOS configuration for our core services.

Interactively download lecture recordings from Echo360 in your terminal!

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.

(namesquatting) Future tool for automatically creating MRs on file collection for small upstream changes that don't need heavy rebasing

Python tool to pull exams from exampapers.ed.ac.uk and upload them to BI File Collection, automatically performing de-duplication. To be run after each exam diet's papers are released.

NixOS configuration for our core services.

NixOS configuration for our core services.

tardisproject.uk