Explore projects
-
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
This repository is archived and development has officially migrated over to GitHub: https://github.com/compsoc-edinburgh/betterinformatics-files
Archived 1Updated -
-
niko / 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 -
-
Nikhen Sanjaya Nyo / 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 -
Answers for fly.io's distributed systems challenges Moved to https://code.aria.rip/fly.io-dist-challenges/
Archived 0Updated -
-
My desktop NixOS configs Moved to https://code.aria.rip/nixcfgs
Archived 0Updated -
My personal website Moved to https://code.aria.rip/aria.rip/
Archived 0Updated -
Updated
-
-
Contains configuration necessary for our Kubernetes cluster, and some related services such as ingress.
Updated -
-
-
-
Answers for AoC 2020-2022, in a mix of languages. Moved to https://code.aria.rip/aoc/
Archived 0Updated -
(namesquatting) Future tool for automatically creating MRs on file collection for small upstream changes that don't need heavy rebasing
Updated
