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