Pinned Loading

1. cineteca cineteca Public

   Minimalist TUI movie library to keep track of watched movies in a directory

   Rust 1

2. subsmt-solver subsmt-solver Public

   A simple SMT solver for a subset of equality logic problems implemented in rust. Follows the CDCL(T) architecture, leveraging the CaDiCaL SAT solver via the IPASIR-UP interface. Made for a course o…

   Rust

3. rebuild-alias rebuild-alias Public

   Dead simple flake that auto-generates nixos-rebuild aliases for your hosts

   Nix

4. ryzencap ryzencap Public

   Flake that provides an easy way to tweak the power consumption of your Ryzen CPU

   Rust 1

5. DIT114-locus-imperium DIT114-locus-imperium Public

   Java

6. DIT633-individual DIT633-individual Public

   C