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