Personal Git repos of Andreas Grois

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