GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: mmhelloworld
idris-jvm
in
joaomilho/awesome-idris
JVM bytecode back end for Idris
created at July 17, 2016, 7:06 a.m.
Idris
29
+1
469
+0
26
+0
GitHub
Sort: Most forks
Most stars
Fewest stars
Most forks
Fewest forks
Most watchers
Fewest watchers
Recently created
Least recently created
Recently updated
Least recently updated
Most repositories
Fewest repositories
All languages
3
Frege
2
Idris
1