Repository Index

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

Emacs minor mode that keeps your code always indented. More reliable than electric-indent-mode.

Emacs as your personal AI assistant. Use LLMs such as ChatGPT or LLaMA for text generation or DALL-E and Stable Diffusion for image generation. Also supports speech input / output.

• ai
• chatgpt
• emacs
• gpt

A Coq IDE build on top of Proof General's Coq mode

• proof-general
• coq
• integrated-development-environment
• company-mode

Emacs mode for LESS CSS (lesscss.org), with support for compile-on-save

Emacs plugin for Fuse

rgbds assembly mode for GNU Emacs