Discover your Favorite Language
Awesome repositories
Rankings by Country
Idris-dev
Idris2
idris-tutorial
idris-emptycg
idris-lang.github.io
Love Open Source and this site? Check out how you can help us