Personal Git repos of Andreas Grois
Mostly Rust and Lean stuff.
index
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