soulsource/aoc-2023

Stars
1
Language Lean
Created 12 months ago
Updated 3 months ago

soulsource/aoc-2023

soulsource

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Advent of Code 2023 - I'm still learning Lean4, so please don't judge.

higher-free-macro

A macro that allows to conjure a Free Monad for every Functor. This builds on the traits from the higher crate, and re-exports said crate.

BuddhaShader

First steps with OpenGL: A compute shader that renders a BuddhaBrot to an SSBO. Can also save the result to PNG for future viewing pleasure.