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