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