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