Agda-test is a project mainly written in Emacs Lisp, it's free.
Emacs macros for unit-testing Agda code
404: Not Found