Personal Git repos of Andreas Grois

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