AlphaUncommon
mmhelloworld/idris-jvm
Idris on the JVM
- Owner
- mmhelloworld (personal account)
- Stars
- Stars: 483
- Forks
- Forks: 30
- Language
- Idris
- License
- None
- Created
- 2016
- Topics
- idrisjvmjava
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Idris
All Idris repos- idris-lang/Idris2Stars: 3,103IdrisRC
- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/BlodwenStars: 540IdrisAlpha
- idris-hackers/software-foundationsStars: 459IdrisAlpha
- joaomilho/awesome-idrisStars: 414IdrisAlpha
- typedefs/typedefsStars: 373IdrisAlpha