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