dorkhub
_
browse
tags
weird
show your thing
curated by dorkhub from public github data · not yet claimed
is this you?
kmill
@kmill
follow
1 project
lean4-raytracer
A simple raytracer written in Lean 4
Lean
★ 146
lean4
raytracing
k
@kmill
++
search
search projects, people, and tags
