ultronozm

ai-org-chat.el

czm-preview.el

lean4-mode

Emacs major mode for Lean 4

tex-parens.el

list and sexp navigation for tex modes

czm-tex-fold.el

dynexp.el

preview-auto.el

symtex.el

auctex-cont-latexmk.el

czm-lean4.el

Some embellishments for lean4-mode

czm-tex-ref.el

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.

auctex-label-numbers.el

czm-cpp.el

czm-misc.el

miscellaneous elisp functions

czm-spell.el

czm-tex-edit.el

czm-tex-jump.el

czm-tex-mint.el

emacsd

flymake-overlays.el

toggleable overlays for Flymake diagnostics

gptel

A simple LLM client for Emacs

llm

A package abstracting llm capabilities for emacs.

math

publish.el

repo-scan.el

spout.el

tex-item.el

Commands for working with tex items