# GitHub repos by yvgude [Home](https://repo.masters-masters.com/en) › [yvgude](https://repo.masters-masters.com/en/owners/yvgude) The public GitHub repo by yvgude in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by yvgude 1 public repo by yvgude in the catalog, most starred first. - [yvgude/lean-ctx · ★ 3,925 · Rust · RC](https://repo.masters-masters.com/en/repos/yvgude/lean-ctx) ## See yvgude on GitHub - [https://github.com/yvgude](https://github.com/yvgude) --- Data: GitHub