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
-
Yuto Takano / echo360-downloader
GNU General Public License v3.0 onlyInteractively download lecture recordings from Echo360 in your terminal!
Updated -
Updated
-
nkdem / BetterInformatics File Collection
GNU General Public License v3.0 or laterThe 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 -
BetterInformatics / BetterInformatics File Collection
GNU General Public License v3.0 or laterThe 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