Explore projects
-
Updated
-
Updated
-
Catch-all repositories for things that don't need their own repo yet. Moved to https://code.aria.rip/sandbox/
Updated -
UpdatedUpdated
-
Updated
-
-
-
-
-
-
Contains configuration necessary for our Kubernetes cluster, and some related services such as ingress.
Updated -
Contains configuration necessary for our Kubernetes cluster, and some related services such as ingress.
Updated -
Updated
-
Interactively download lecture recordings from Echo360 in your terminal!
Updated -
Updated
-
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.
Updated -
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.
Updated