GitHub repos by edwinb
5 public repos by edwinb in the catalog, most starred first.
- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/BlodwenStars: 540IdrisAlpha
- edwinb/idris-phpStars: 176HaskellPrototype
- edwinb/TypeDD-SamplesStars: 162IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype