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