Paul Nelson

ai-org-chat.el. Emacs Lisp

agent-shell-attention.el. Mode-line attention tracker for agent-shell

preview-auto.el. Emacs Lisp

codel.el. some llm tools

auctex-cont-latexmk.el. Emacs Lisp

tex-parens.el. list and sexp navigation for tex modes

czm-lean4.el. Some embellishments for lean4-mode

dynexp.el. Emacs Lisp

lean4-mode. Emacs major mode for Lean 4

czm-preview.el. Emacs Lisp

emacsd. Emacs Lisp

doc-view-follow.el. Sync two windows showing the same document

symtex.el. Emacs Lisp

czm-tex-fold.el. Emacs Lisp

eat-tmux.el. Emacs Lisp

eldoc-icebox.el. Emacs Lisp

modify-buffer.el. Apply lossy diffs to buffers

library.el. Emacs Lisp

LinearAlgebraLemma. Lean

auto-hide.el. Automatically hide function bodies

llm-tool-collection. Crowdsourced collection of tools for LLMs in Emacs

czm-tex-util.el. Emacs Lisp

gptel-local-context.el. local context for gptel

preview-tailor.el. Tailor AUCTeX preview scale to monitor/text scale

flymake-overlays.el. toggleable overlays for Flymake diagnostics

PrimeNumberTheoremAnd. blueprint for prime number theorem and more

czm-tex-ref.el. Emacs Lisp

math. TeX