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