AlphaUncommon
joaomilho/awesome-idris
π Awesome Idris resources
- Owner
- joaomilho (personal account)
- Stars
- Stars: 414
- Forks
- Forks: 19
- Language
- Idris
- License
- None
- Created
- 2017
- Topics
- idrisfunctional-programmingtype-driven-developmenthaskellawesomeawesome-list
- Tier
- Alpha (250 to 699 β ) What this tier means
More repos by joaomilho
All 2 repos by joaomilho- joaomilho/EnterpriseStars: 1,620JavaScriptBeta
Nearby in Idris
All Idris repos- edwinb/BlodwenStars: 540IdrisAlpha
- mmhelloworld/idris-jvmStars: 483IdrisAlpha
- idris-hackers/software-foundationsStars: 460IdrisAlpha
- typedefs/typedefsStars: 373IdrisAlpha
- statebox/idris-ctStars: 273IdrisAlpha
- ziman/lightyearStars: 243IdrisPrototype