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