kmill / lean4-raytracer

A simple raytracer written in Lean 4

kmill
kmill
Date Created 2021-01-31 (4 years ago)
Commits 26 (last one 9 months ago)
Stargazers 133 (0 this week)
Watchers 7 (0 this week)
Forks 5
License apache-2.0
Ranking

RepositoryStats indexes 622,749 repositories, of these kmill/lean4-raytracer is ranked #249,346 (60th percentile) for total stargazers, and #274,889 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #29/133.

kmill/lean4-raytracer is also tagged with popular topics, for these it's ranked: raytracing (#94/197)

All Topics
lean4 raytracing

Star History

Github stargazers over time

140140120120100100808060604040202000Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

7777776.56.566666620232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

11 commits on the default branch (master) since jan '22

121210108866442200Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

16161414121210108866442200202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
332.52.5221.51.5110.50.500Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is Lean but there's also others...

LeanLeanCCMakefileMakefile

updated: 2025-02-28 @ 10:25pm, id: 334742710 / R_kgDOE_PEtg