soulsource/higher-free-macro

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Rust
License
Mozilla Public Li...
Created over 1 year ago
Updated over 1 year ago

soulsource/higher-free-macro

soulsource

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

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.

aoc-2023

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