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