Personal Git repos of Andreas Grois

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