Pinned Loading

1. gpuequiv gpuequiv Public

   A GPU-accelerated implementation of an algorithm to find all equivalences of processes in the Linear-time Branching-time Spectrum

   Rust 2

2. thesis-gpuequiv thesis-gpuequiv Public

   Bachelor's Thesis: Accelerating Process Equivalence Energy Games using WebGPU

   TeX 1

3. advent-of-code advent-of-code Public

   My solutions for Advent of Code 2022 and 2023

   Rust 1

4. dotfiles dotfiles Public

   Personal configuration files

   GLSL

5. svup svup Public

   OS image upgrade tool for Raspberry Pi using btrfs subvolumes

   Shell 1

6. klipper_cura_connection klipper_cura_connection Public

   RELOCATED TO KLIPPO: A Klipper module that enables a network connection with Cura.

   Python 13