A simple raytracer written in Lean 4 (by kmill)

Lean4-raytracer Alternatives

Similar projects and alternatives to lean4-raytracer based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lean4-raytracer alternative or higher similarity.

lean4-raytracer reviews and mentions

Posts with mentions or reviews of lean4-raytracer. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning lean4-raytracer yet.
Tracking mentions began in Dec 2020.


Basic lean4-raytracer repo stats
7 months ago

kmill/lean4-raytracer is an open source project licensed under Apache License 2.0 which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives