Explore projects

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.

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.

NixOS configuration for our core services.

tardisproject.uk

openpgp4fpr:601BF8EA293EA91D1B66A3488086F2AEEBA86416

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

https://tardis.ed.ac.uk

tardisproject.uk

NixOS configuration for our core services.

NixOS configuration for our core services.

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

Our logo, in various different forms.

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