# Dépôts de ilyasergey [Accueil](https://repo.masters-masters.com/) › [ilyasergey](https://repo.masters-masters.com/owners/ilyasergey) Le dépôt GitHub public de ilyasergey en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de ilyasergey 1 dépôt public de ilyasergey au catalogue pour l’instant. - [ilyasergey/pnp · ★ 178 · Coq · Prototype](https://repo.masters-masters.com/repos/ilyasergey/pnp) ## Voir ilyasergey sur GitHub - [https://github.com/ilyasergey](https://github.com/ilyasergey) --- Données : GitHub