Which ones would those be? Common Lisp using SLIME?
But OrgMode is probably one of the most powerful and unique emacs modes. There is nothing like it anywhere else.
Once you go OrgMode, there is no going back.
You could write Common Lisp in Notepad if you really wanted to. I do not think using Agda would be at all practical without Emacs.
[1]: http://wiki.portal.chalmers.se/agda/pmwiki.php
[2]: http://coq.inria.fr/
[3]: http://proofgeneral.inf.ed.ac.uk/
Which ones would those be? Common Lisp using SLIME?