Pinned Loading

1. nixarr nixarr Public

   The Media Server Nixos Module

   Nix 170 16

2. nix-config nix-config Public

   My nix config for all my machines

   Nix 30 2

3. submerger submerger Public

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

   Rust 6

4. p2p p2p Public

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

   Rust

5. halo-accumulation halo-accumulation Public

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

   Rust