Personal Git repos of Andreas Grois

Name	Description	Idle
Rust Projects
passwordmaker-rs	A Rust reimplementation of the PasswordMaker Pro password generation logic.	10 months
passfish	PassFish is a Sailfish-OS app that aims to be compatible with PasswordMaker Pro....	10 months
swaystatus	Small status bar tool for i3 or sway. Mostly coded for myself, but feel free to ...	10 months
higher-free-macro	A macro that allows to conjure a Free Monad for every Functor. This builds on th...	10 months
Lean4 Projects
BinaryHeap	A toy project about formal validation of a Heap in Lean4	10 months
lean-astar	A* in Lean4	10 months
Toy Projects and Learning
aoc-2025	Advent of Code 2025 - Trying to solve the riddles on my TI-92 graphing calculato...
aoc-2023	Advent of Code 2023 - I'm still learning Lean4, so please don't judge.	10 months
aoc-2022	Advent of Code 2022: First baby steps in Haskell (please don't judge me).	10 months
aoc-2021	My advent of code solutions. Might be good, might be bad. Might depend on other ...	10 months
BuddhaShader	First steps with OpenGL: A compute shader that renders a BuddhaBrot to an SSBO. ...	10 months
Old Stuff
buddhaBrot	Renders a buddhabrot to the current directory. First steps in rust...	10 months
boxed_array_ringbuffer	Rust Ring Buffer that uses a boxed array as backing storage, to guarantee a fixe...	10 months
latticematch	Small script to calculate Lattice Matches	10 months