Paul Nelson's repositories
lean4-mode
Emacs major mode for Lean 4
tex-parens.el
list and sexp navigation for tex modes
czm-lean4.el
Some embellishments for lean4-mode
preview-tailor.el
Tailor AUCTeX preview scale to monitor/text scale
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
copilot.el
An unofficial Copilot plugin for Emacs.
Language:Emacs LispMIT000
Language:Emacs Lisp000
Language:Emacs Lisp000
czm-misc.el
miscellaneous elisp functions
Language:Emacs Lisp000
Language:Emacs Lisp000
Language:Emacs Lisp000
Language:Emacs Lisp000
Language:Emacs Lisp000
Language:Emacs Lisp000
flymake-overlays.el
toggleable overlays for Flymake diagnostics
Language:Emacs Lisp000
gptel
A simple LLM client for Emacs
Language:Emacs LispGPL-3.0000
llm
A package abstracting llm capabilities for emacs.
GPL-3.0000
Language:TeX000
Language:Emacs Lisp000
Language:Emacs Lisp000
Language:Emacs Lisp000
tex-item.el
Commands for working with tex items
Language:Emacs Lisp000