# GitHub repos by edwinb

<https://repo.masters-masters.com/en/owners/edwinb>

[Home](https://repo.masters-masters.com/en) › [edwinb](https://repo.masters-masters.com/en/owners/edwinb)

All 5 public GitHub repos by edwinb in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by edwinb

5 public repos by edwinb in the catalog, most starred first.

- [edwinb/Idris2-boot · ★ 889 · Idris · Beta](https://repo.masters-masters.com/en/repos/edwinb/Idris2-boot)
- [edwinb/Blodwen · ★ 540 · Idris · Alpha](https://repo.masters-masters.com/en/repos/edwinb/Blodwen)
- [edwinb/idris-php · ★ 176 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/edwinb/idris-php)
- [edwinb/TypeDD-Samples · ★ 163 · Idris · Prototype](https://repo.masters-masters.com/en/repos/edwinb/TypeDD-Samples)
- [edwinb/SPLV20 · ★ 116 · Idris · Prototype](https://repo.masters-masters.com/en/repos/edwinb/SPLV20)

## See edwinb on GitHub

- [https://github.com/edwinb](https://github.com/edwinb)

---
Data: GitHub