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