This is for everything about idris.please post questions,recommendations at issues page

examples

https://github.com/idris-industry/paradise/

fundamental libraries

Parsing (shipped with idris) : https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Text/Parser.idr

Monadic DSL : https://github.com/idris-industry/idris-free

theories

two kind of functors: https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Interfaces/Verified.idr

Ease of use

emacs mode

zsh with idris (for archlinux,manjaro) : sh -c "$(curl -fsSL https://raw.githubusercontent.com/doofin/oh-my-zsh/master/tools/install.sh)"