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