Discover your Favorite Language
Awesome repositories
Rankings by Country
software-foundations
idris-mode
idris-vim
idris-demos
idris-koans
idris-crypto
IdrisWeb
atom-language-idris
IdrisScript
idris-llvm
idris-java
iQuery
idris-posix
idrispkgs
idris-sublime
idris-free
eff-tutorial
idris-cph-exercises
idris-lens
idris-algebra
usb
idris-bot
idris-java-rts
idris-extras
idris-array
idris-time
Love Open Source and this site? Check out how you can help us