GitHub repository: keram/idris-mode
Primary language: Emacs Lisp
Description: Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.