Coq to Lisp: Convert Coq to Scheme Extraction to Common Lisp / Emacs Lisp
coq-to-lisp - Coq to Emacs Lisp / Common Lisp Extraction... (more…)
Read more »Hottest editors (1995 = Emacs, 2025 =??)
This work is licensed under a
Creative Commons Attribution-NonCommercial 2.5 License.
Read more
Similar
Who Cares about Emacs
GNU Emacs isn't the oldest interactive text editor for Unix—it's predated (at least) by the Vi editor—nor is it the only Emacs in existence. However, it's surely the most popular Emacs and one of the best editors available on POSIX. (more…)
Read more »Interview with an Emacs Enthusiast in 2023 [Colorized] [video]
Emacs OSInterview with an Emacs Enthusiast in 2023 with Emerald McS., PhD - aired on © The Emacs.org. air date 1990.Programmer humorSoftware humorElisp humor... (more…)
Read more »Emacs-copilot: Large language model code completion for Emacs
Large language model code completion for Emacs. Contribute to jart/emacs-copilot development by creating an account on GitHub. (more…)
Read more »Versuri, the Lyrics Package for Emacs
The lyrics package for Emacs. Contribute to mihaiolteanu/versuri development by creating an account on GitHub. (more…)
Read more »The latest Emacs news to your inbox. Once a .
No spam and it’s easy to unsubscribe.