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