PrototypeCommune
kmill/lean4-raytracer
A simple raytracer written in Lean 4
- Propriétaire
- kmill (compte personnel)
- Étoiles
- Étoiles : 147
- Forks
- Forks : 6
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- lean4raytracing
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- josevalim/lynxÉtoiles : 152LeanPrototype
- flypitch/flypitchÉtoiles : 150LeanPrototype
- argumentcomputer/yatimaÉtoiles : 148LeanPrototype
- Timeroot/Lean-QuantumInfoÉtoiles : 146LeanPrototype
- loganrjmurphy/LeanEuclidÉtoiles : 145LeanPrototype
- LeanPool/lean-poolÉtoiles : 144LeanPrototype