This is for everything about idris.please post questions,recommendations at issues page
https://github.com/idris-industry/paradise/
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
two kind of functors: https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Interfaces/Verified.idr
emacs mode
zsh with idris (for archlinux,manjaro) : sh -c "$(curl -fsSL https://github.com/raw/doofin/oh-my-zsh/master/tools/install.sh)"