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