# Dépôts de edwinb [Accueil](https://repo.masters-masters.com/) › [edwinb](https://repo.masters-masters.com/owners/edwinb) Les 5 dépôts GitHub publics de edwinb, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de edwinb 5 dépôts publics de edwinb au catalogue, du plus étoilé au moins étoilé. - [edwinb/Idris2-boot · ★ 889 · Idris · Bêta](https://repo.masters-masters.com/repos/edwinb/Idris2-boot) - [edwinb/Blodwen · ★ 540 · Idris · Alpha](https://repo.masters-masters.com/repos/edwinb/Blodwen) - [edwinb/idris-php · ★ 176 · Haskell · Prototype](https://repo.masters-masters.com/repos/edwinb/idris-php) - [edwinb/TypeDD-Samples · ★ 162 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/TypeDD-Samples) - [edwinb/SPLV20 · ★ 116 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/SPLV20) ## Voir edwinb sur GitHub - [https://github.com/edwinb](https://github.com/edwinb) --- Données : GitHub