Repository Index

A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.

• emacs
• org-mode
• org-agenda

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

Solarized redesigned: fine-tuned color palette for programmers with focus on readability.

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

An Emacs package to get GDScript support and syntax highlighting.

• emacs
• emacs-packages
• gdscript-mode
• godot

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

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

Neovim colorscheme with terminal-wide contrib themes

• lua
• neovim
• neovim-colorscheme
• bat-theme

A mode to facilitate interactive data visualization using Vega from within emacs

Emacs minor mode for live Parenscript interaction

SLIME configuration with some extensions pre-installed.

• lisp
• common-lisp
• slime
• tools

Documentation contribs for SLIME (the Superior Lisp Interaction Mode for Emacs)

• lisp
• slime
• emacs
• documentation

SLIME extension for setting up breakpoints

SLIME extension for Lisp Critic

• common-lisp
• lisp
• tools

Select OCaml opam switches via a menu or using a command

• emacs
• proof-general
• ocaml
• opam

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]

• emacs
• ocaml
• learn-ocaml