This package includes a collection of Company mode backends for Proof-General's Coq mode, and many useful extensions to Proof-General. It features:

• Prettification of operators, types, and subscripts,

• Auto-completion,

• Insertion of cases,

• Fully explicit intros,

• Outlines, code folding, and jumping to definition,

• Help with errors,

• and more.

This package highlights all misspelled words in a window, just like a word processor or web browser does. This behavior is different from the built-in Flyspell package, which only checks words as the cursor moves over them. Moreover, unlike Flyspell, Jit-spell communicates with the spell-checking subprocess entirely asynchronously, which can lead to a noticeable performance improvement.

Futur provides futures for composing asynchronous Emacs Lisp work. It supports subprocesses, timers, concurrent groups, error propagation, and cancellation without generator-based control-flow rewriting.

This package provides functions for working with pass ("the standard Unix password manager").

boxy provides an interface to create a 3D representation of boxes. Other packages can use this library to create expandable menus for interacting with hierarchical data.

This library provides helpers for outlines. Outlines allow users to navigate code in a tree-like fashion.

This package provides a project.el backend for Nix Store. Each store path, if it is a directory, is a project root.

This package provides various refactoring functions for JavaScript.

This package provides a scroll bar that is drawn inside the buffer rather than using the GTK scroll bar.

Speed Type allows you to practice your touch typing skills. You can test yourself by typing snippets from online books or use any piece of text or code you have in Emacs. Speed Type keeps track of your stats (WPM, CPM, accuracy) while you are typing.

Blimp (Bustling Image Manipulation Package) is a complete wrapper around all Imagemagick commands with descriptions, autocompletion (for some commands) and hints displayed in prompt using eimp.el to execute its commands and resize images.

Recoll is a local search engine that knows how to index a wide variety of file formats, including PDFs, org and other text files and emails. It also offers a sophisticated query language, and, for some document kinds, snippets in the found documents actually matching the query at hand. This package provides an emacs interface to perform recoll queries, and display its results, via emacs-consult.

This package provides Helm integration for quickly navigating and searching CSS, SCSS, and LESS selectors in Emacs. It enables you to view and jump to selectors across multiple buffers, enhancing your workflow when editing stylesheets.

Org mode supports inline image previews of LaTeX fragments. This package automates this, so fragment previews are disabled for editing when your cursor steps onto them, and re-enabled when the cursor leaves.

This package allows for navigating between buffers within a customizable list.

Tree-like interface to Emacs undo system, providing graphical tree presentation of all previous states of buffer that allows easily move between them.

This package provides an Emacs interface for working with PHP dependencies managed by Composer. It allows users to run Composer commands directly from Emacs, including installing and updating packages, and managing Composer configurations. The package aims to streamline the development workflow for PHP projects within Emacs.

Parinfer Rust mode aims to be a simple implementation of Parinfer that leverages the Parinfer Rust Emacs library to do most of the heavy lifting.

Work with Git forges, such as Github and Gitlab, from the comfort of Magit and the rest of Emacs.

This package provides a refactoring tool based on the Emacs Semantic parser framework. For C and C++ it supports operations such as:

1. Generating class implementations

2. Generating function prototypes

3. Converting functions to function pointers

4. Moving semantic units

5. etc...

For Lisp dialects like Clojure, ELisp, and Scheme, it supports operations such as:

1. Formatting the whole buffer

2. Converting sexpressions to one or multiple lines

3. etc...

This package is an alternative frontend for completion-at-point. It replaces the standard completions buffer with Ido prompt.

This package provides access to a local copy of the Emacsmirror package database. It provides low-level functions for querying the database and a package.el user interface for browsing the database. Epkg itself is not a package manager.

This package provides an Emacs functions to format HTML, CSS, JavaScript, JSON.

This package provides utility functions to bind to keys, intended to be used along with emacs-bray although most of them can be used in vanilla Emacs.