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