# Dépôts de UlfNorell [Accueil](https://repo.masters-masters.com/) › [UlfNorell](https://repo.masters-masters.com/owners/UlfNorell) Le dépôt GitHub public de UlfNorell en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de UlfNorell 1 dépôt public de UlfNorell au catalogue pour l’instant. - [UlfNorell/agda-prelude · ★ 135 · Agda · Prototype](https://repo.masters-masters.com/repos/UlfNorell/agda-prelude) ## Voir UlfNorell sur GitHub - [https://github.com/UlfNorell](https://github.com/UlfNorell) --- Données : GitHub