soulsource/aoc-2023 soulsource/aoc-2023

  • Stars
    star
    1
  • Language Lean
  • Created 10 months ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
soulsource/aoc-2023
github

soulsource

Reviews

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

Repository Details

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

More Repositories

1

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.
Rust
6
star
2

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.
C
4
star