# GitHub repos by kmill [Home](https://repo.masters-masters.com/en) › [kmill](https://repo.masters-masters.com/en/owners/kmill) The public GitHub repo by kmill in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by kmill 1 public repo by kmill in the catalog, most starred first. - [kmill/lean4-raytracer · ★ 147 · Lean · Prototype](https://repo.masters-masters.com/en/repos/kmill/lean4-raytracer) ## See kmill on GitHub - [https://github.com/kmill](https://github.com/kmill) --- Data: GitHub