Recently I’ve switched back to Linux, after having used macOS for the past 9 years. While I was generally happy with my overall macOS experience, I was also disappointed that Emacs simply didn’t work as well there, as it does on Linux for various reasons.... (more…)

dired extensions and convenience features. Contribute to Boruch-Baum/emacs-diredc development by creating an account on GitHub. (more…)

Infix operators for Emacs Lisp. Contribute to rspeele/infix.el development by creating an account on GitHub. (more…)

Urban sprawl, Python, and a bit of landscape ecology and complexity... (more…)

coq-to-lisp - Coq to Emacs Lisp / Common Lisp Extraction... (more…)