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