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