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