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