phikal

dumb-jump

an Emacs "jump to definition" package for 40+ languages

ijod

(mirror) Yet another video-sync service

agda

Agda is a dependently typed programming language / interactive theorem prover.

baccumulation

bqn-mode

Emacs mode for BQN programming language

breadcrumb

I hate forking projects on GitHub

buffer-env

Buffer-local process environments for Emacs

cdlatex

Fast input methods to enter LaTeX environments and math with GNU Emacs

comint-mime

Display graphics and other MIME attachments in Emacs shells

coq-elpi

Coq plugin embedding elpi

elpi

Embeddable Lambda Prolog Interpreter

emacs-buddy

Emacs Buddy initiative to help new Emacs users with their struggles

emacs-leuven-theme

Awesome Emacs color theme for white backgrounds --- Added in Emacs 24.4+

embark

Emacs Mini-Buffer Actions Rooted in Keymaps

ffsubsync

Automagically synchronize subtitles with video.

Focus

Dim the font color of text in surrounding paragraphs

forth-mode

Wants to be the SLIME of Forth

lean4-mode

Emacs major mode for Lean 4

lua-mode

Emacs major mode for editing Lua

melpa

Recipes and build machinery for the biggest Emacs package repo

mg

Micro (GNU) Emacs-like text editor ❤️ public-domain

nano-theme

GNU Emacs / N Λ N O Theme

neatvi

A small vi/ex editor for editing bidirectional UTF-8 text

PG

This repo is the new home of Proof General

slime

The Superior Lisp Interaction Mode for Emacs

sly

Sylvester the Cat's Common Lisp IDE

tuareg

Emacs OCaml mode

undo-hl

Highlight undo operations so you never get lost

vc-use-package

Primitive package-vc integration for use-package

vertico

vertico.el - VERTical Interactive COmpletion