Paul Nelson's repositories
Language:Emacs Lisp000
doc-dual-view.el
Sync two windows showing the same document
Language:Emacs Lisp000
Language:Emacs Lisp000
tex-parens.el
list and sexp navigation for tex modes
czm-lean4.el
Some embellishments for lean4-mode
magit-fill-column.el
Set magit commit message fill-column based on project
Language:Emacs Lisp000
copilot.el
An unofficial Copilot plugin for Emacs.
Language:Emacs LispMIT000
llm
A package abstracting llm capabilities for emacs.
Language:Emacs LispGPL-3.0000
flymake-overlays.el
toggleable overlays for Flymake diagnostics
Language:Emacs Lisp000
Language:Emacs Lisp000
lean4-mode
Emacs major mode for Lean 4
gptel
A simple LLM client for Emacs
Language:Emacs LispGPL-3.0000
tex-item.el
Commands for working with tex items
Language:Emacs Lisp000
Language:Emacs Lisp000
preview-tailor.el
Tailor AUCTeX preview scale to monitor/text scale
Language:Emacs Lisp000
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Language:Emacs Lisp000
Language:Emacs Lisp000
czm-misc.el
miscellaneous elisp functions
Language:Emacs Lisp000
Language:Emacs Lisp000