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