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

Helm Fish Completion is a Helm interface for Emacs fish-completion. It can be used in both Eshell and M-x shell.

This package provides Python code navigation, documentation lookup, and code completion for Emacs. It uses a lightweight Python backend to offer features like jumping to definitions, finding references, and viewing documentation, enhancing the Python development experience within Emacs.

Howm is a note-taking tool for Emacs. Like emacs-wiki.el, it facilitates using hyperlinks and doing full-text searches. Unlike emacs-wiki.el, it can be combined with any format.

LSP mode is a client and library implementation for the Language Server Protocol. This mode creates an IDE-like experience by providing optional integration with other popular Emacs packages like Company, Flycheck, and Projectile.

This package permits navigation of undo history in a temporary buffer, which is read-only save for undo commands, and subsequent committal of a chain of undo commands as a single edit in the undo history.

Org Board is a bookmarking and web archival system for Emacs Org mode. It archives your bookmarks so that you can access them even when you're not online, or when the site hosting them goes down.

Emacs Gnuplot is an Emacs major mode for interacting with Gnuplot.

This package provides an Emacs client for the Rocket.chat service.

This package provides an extensive collection of YASnippet snippets. When this package is installed, the extra snippets it provides are automatically made available to YASnippet.

This package lets you create notes that are kept in sync when you scroll through the document, but that are external to it---the notes themselves live in an Org-mode file. As such, this leverages the power of Org-mode (the notes may have outlines, latex fragments, babel, etc...) while acting like notes that are made in the document.

Manage your contacts from Org mode. You can auto complete email addresses, export contacts to a vCard file, put birthdays in your Org Agenda, and more.

This package provides a library to manipulate persistent identifiers that are used to locate scholar resources online. The library knows about the following formats:

• isbn: International Standard Book Number

• issn: International Standard Serial Number

• doi: Digital Object identifier

• pmid: PubMed

• pmcid: PubMed Central

• arxiv: Cornell University

Given an identifier in one of the known formats, the libray can query information about the resources and format it as a bibtex entry.

Paradox is a project for modernizing Emacs' Package menu. It provides improved appearance, mode-line information, GitHub integration, customizability and asynchronous upgrading.

This package implements a menu that lists enabled minor-modes, as well as commonly but not currently enabled minor-modes. It can be used to toggle local and global minor-modes, to access mode-specific menus, and to get help about modes.

This menu is intended as a replacement for the incomplete yet wide list of enabled minor-modes that is displayed in the mode line by default. To use the menu like this, enable Minions mode.

Alternatively the menu can be bound globally, for example: (global-set-key [S-down-mouse-3] 'minions-minor-modes-menu).

A package management library for Emacs, based on package.el.

The purpose of this library is to wrap all the quirks and hassle of package.el into a sane API.

The denote-silo package makes it easier to work with multiple silos. A silo is a localised denote-directory that is not connected to the default/global denote-directory and other silos.

With Magit, you can inspect and modify your Git repositories with Emacs. You can review and commit the changes you have made to the tracked files, for example, and you can browse the history of past changes. There is support for cherry picking, reverting, merging, rebasing, and other common Git operations.

This package provides the ability to call asynchronous functions and processes. For example, it can be used to run dired commands (for copying, moving, etc.) asynchronously using dired-async-mode. Also it is used as a library for other Emacs packages.

This package provides a minor mode for collapsing and expanding regions of text without modifying the actual contents.

This package simplifies the use of hash tables in elisp. It also provides functions to convert hash tables from and to alists and plists.

This package provides an ESS-like binding to send lines or regions to a REPL from Scheme buffers.

This package provides local weather information from wttr.in.

This Flycheck checker uses the output of ledger balance on the current file to find errors such as unbalanced transactions and syntax errors.