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