# Dépôts de banacorn [Accueil](https://repo.masters-masters.com/) › [banacorn](https://repo.masters-masters.com/owners/banacorn) Le dépôt GitHub public de banacorn en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de banacorn 1 dépôt public de banacorn au catalogue pour l’instant. - [banacorn/agda-mode-vscode · ★ 189 · ReScript · Prototype](https://repo.masters-masters.com/repos/banacorn/agda-mode-vscode) ## Voir banacorn sur GitHub - [https://github.com/banacorn](https://github.com/banacorn) --- Données : GitHub