GitHub repository: sebeaumont/org-agda-mode
Primary language: Emacs Lisp
Description: An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.