This package provides a major mode for the Lean theorem prover, version 4.

This package provides a major mode for editing Extempore code. It can create an Extempore REPL, connect the current extempore-mode buffer to a running Extempore process, and more.

This package defines cargo-minor-mode, which gives a set of key combinations to perform Cargo tasks within Rust projects.

Autocrypt package is an implementation of Autocrypt (https://autocrypt.org/) for various Emacs MUAs, a cryptographic protocol for email clients aiming to simplify key exchange and encryption.

This package provides a nameless-mode minor mode in which the package namespace prefix is hidden by a colon.

This package provides an Emacs minor mode for building and uploading PlatformIO projects.

Popup.el is a visual popup user interface library for Emacs. This provides a basic API and common UI widgets such as popup tooltips and popup menus.

This package extends Ivy by showing more information in the minibuffer for each candidate. It adds columns showing buffer modes, file sizes, docstrings, etc. If emacs-all-the-icons is installed, it can show icons as well.

This package lets you switch Ruby versions using chruby.

This package provides a function for hiding and customizing display of major and minor modes in the mode line.

Skewer-mode provides live interaction with JavaScript, CSS, and HTML in a web browser. Expressions are sent on-the-fly from an editing buffer to be evaluated in the browser, just like Emacs does with an inferior Lisp process in Lisp modes.

DefaultEncrypt is designed to be used with Gnus in Emacs. It automatically encrypts messages that you send (e.g., email) when public keys for all recipients are available, and it protects you from accidentally sending un-encrypted messages. It can also be configured to automatically sign messages that you send. For details and instructions on how to use DefaultEncrypt, please refer to the home page or read the comments in the source file, jl-encrypt.el.

Irony-eldoc is an eldoc extension that shows documentation for the current function or variable in the minibuffer.

This package provides a Kubernetes control interface within emacs.

This package lets you access the GNU Bug Tracker from within Emacs.

For instance, it defines the command M-x debbugs-gnu for listing bugs, and the command M-x debbugs-gnu-search for bug searching. If you prefer the listing of bugs as TODO items of org-mode, you could use M-x debbugs-org and related commands.

A minor mode debbugs-browse-mode let you browse URLs to the GNU Bug Tracker as well as bug identifiers prepared for bug-reference-mode.

DVC is a legacy Emacs front-end for a number of distributed version control systems. It currently supports GNU Arch, GNU Bazaar, git, Mercurial, and Monotone. It also provides some integration with Gnus, e.g., for applying patches received by email.

This package adds support to Org-Babel for evaluating Elm code.

Out-of-box, Citar provides default support for file-per-note bibliographic notes that are compatible with Org-Roam v2. This package integrates directly with the Org-Roam database, and provides the following additional features to Citar note support:

• multiple references per note

• multiple reference notes per file

• ability to query note citations by reference

• ``live'' updating of Citar UI for presence of notes

This package allows you to expand Yasnippet' snippets through a completing-read interface. It supports previewing the current snippet expansion and overwriting the marked region with a new snippet completion.

This package allows you to edit regions in separate buffers, like org-edit-src-code but for arbitrary regions.

Pippel is an Emacs frontend for the Python package manager Pip. As Pippel also uses Tabulated List mode, it provides a similar package menu like package-list-packages.

This package provides a major mode for editing files in TOML (Tom's Obvious, Minimal Language) data format.

This package contains functions that execute exwm keypresses mapped in firefox to the action described in the function name.

Rebecca Emacs theme is a dark theme with purple/violet colors, based on the Dracula theme for Emacs and the Gloom theme for Atom.