Emacs client/library for the Language Server Protocol

On the fly syntax checking for GNU Emacs

Org-mode wiki + concept-mapping

Emacs mode for Haskell

Short and sweet LISP editing

Large language model code completion for Emacs

Emacs rainbow delimiters mode

Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.

This repo is the new home of Proof General

Emacs OCaml mode

Elm mode for emacs

Workgroups2 - Emacs session manager

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

vim-airline themes https://github.com/vim-airline/vim-airline-themes for emacs powerline https://github.com/milkypostman/powerline

Emacs front end for SageMath