Pinned Repositories
charred-path
a Bevy plugin for recording the homotopy type of a 2D path.
graceful
A visualization library for the tree of graceful trees
project-euler-rust
My solutions to Project Euler problems in the Rust programming language.
affine_lib
phys
Simple affine 1-space and various physical space clients in Lean (Lean Prover)
Fractal-Renderer
creator of spooky math images 👻
fall-2018-bard-s-tale
fall-2018-bard-s-tale created by GitHub Classroom
spring-2019-bard-s-tale-3
spring-2019-bard-s-tale-3 created by GitHub Classroom
CharredLee's Repositories
CharredLee/charred-path
a Bevy plugin for recording the homotopy type of a 2D path.
CharredLee/graceful
A visualization library for the tree of graceful trees
CharredLee/project-euler-rust
My solutions to Project Euler problems in the Rust programming language.