On the fly syntax checking for GNU Emacs

Debug Adapter Protocol for Emacs

This repo is the new home of Proof General

Create views of the same content in two Emacs buffers

CLI for building, running, testing, and managing your Emacs Lisp dependencies