PinnedLoading

1. nixarrnixarrPublic

   The Media Server Nixos Module

   Nix 202 18

2. nix-confignix-configPublic

   My nix config for all my machines

   Nix 35 3

3. submergersubmergerPublic

   Submerger combines subtitles from two files into one, with customizable position and color settings

   Rust 7

4. p2pp2pPublic

   A toy blockchain based on the exercises from the course "Distributed Systems and Security" from Aarhus University.

   Rust

5. halo-accumulationhalo-accumulationPublic

   A rust implementation of the Halo2 accumulation scheme from the paper "Proof-Carrying Data from Accumulation Schemes"

   Rust 1