Skip to content

Latest commit

 

History

History
181 lines (153 loc) · 11.9 KB

EMACS-69-GF3.md

File metadata and controls

181 lines (153 loc) · 11.9 KB

The 69 of Emacs: GF(3) Trit-Balanced Community Map

Purpose: BCI/category-theory/distributed-systems project reference GF(3) Target: 23 Generators (+1) / 23 Coordinators (0) / 23 Validators (-1) = 0 (balanced) Date: 2026-02-09

Legend

  • +1 (Generator): Creates new tools, packages, paradigms; brings novel artifacts into existence
  • 0 (Coordinator): Maintains, organizes, bridges; keeps the ecosystem coherent
  • -1 (Validator): Reviews, verifies, tests, documents; ensures quality and accessibility

+1 Generators (23) -- Creators of new tools and paradigms

# Name Category Primary Contribution
1 Andrea Corallo Core Emacs native compilation (libgccjit), comp.el, co-maintainer
2 Lars Ingebrigtsen Core Gnus, EWW, shr.el -- browser & mail infrastructure creator, former maintainer (27.2-29.1)
3 Yuan Fu (casouri) Core Built-in tree-sitter integration (Emacs 29+), treesit.el
4 John Wiegley Core use-package creator (now in Emacs 29), former Emacs maintainer
5 Carsten Dominik Org-mode Org-mode creator (2003), orgmode.org infrastructure
6 Timothy (tecosaur/TEC) Org-mode engrave-faces, org-glossary, LaTeX preview overhaul, This Month in Org, Julia stdlib
7 Jonas Bernoulli Packages Magit maintainer (2013+), Transient library creator, Borg, Epkg
8 Daniel Mendler (minad) Packages Vertico, Consult, Corfu, Marginalia, Cape, Tempel -- the "minad stack"
9 Omar Antolin Camarena Packages Embark, Orderless, icomplete-vertical -- minibuffer action ecosystem
10 Henrik Lissner (hlissner) Packages Doom Emacs creator -- modular Emacs framework for vi users
11 Sylvain Benner Packages Spacemacs creator (2014) -- community-driven Emacs distribution
12 Nicolas P. Rougier Packages/Research NANO Emacs, svg-lib, nano-modeline (INRIA neuroscience researcher)
13 Protesilaos Stavrou (Prot) Packages/Content Modus themes (built into Emacs 28+), Ef themes, Denote, 2021 FSF Award
14 T.V. Raman (TVRaman) Accessibility Emacspeak creator (1995+, Complete Audio Desktop), Google accessibility engineer
15 Bozhidar Batsov Lisp/Scheme CIDER (Clojure IDE), Projectile, Prelude, Emacs Redux blog
16 Jose Antonio Ortega Ruiz (jao) Lisp/Scheme Geiser creator (Emacs/Scheme interaction mode), GNU Savannah
17 Joao Tavora Lisp/Scheme Eglot (built-in LSP, Emacs 29+), SLY (Common Lisp IDE), Yasnippet
18 Karthik Chikmagalur (karthink) AI/LLM gptel (LLM client for Emacs), gptel-quick, tool-use support
19 Andrew Hyatt (ahyatt) AI/LLM llm.el (GNU ELPA LLM abstraction library), websocket.el, ekg
20 Sergey Kostyaev AI/LLM Ellama (Emacs Large Language Model Assistant), GNU ELPA
21 Alvaro Ramirez (xenodium) AI/LLM agent-shell (ACP for Claude Code/Gemini), chatgpt-shell, dall-e-shell
22 Jethro Kuan Knowledge org-roam creator (Zettelkasten for Org-mode), ML engineer
23 Magnar Sveen Packages multiple-cursors, dash.el, s.el, Emacs Rocks screencasts

0 Coordinators (23) -- Maintainers, organizers, bridges

# Name Category Primary Contribution
24 Eli Zaretskii Core GNU Emacs lead maintainer (Emacs 25+), Windows port, bidirectional text
25 Stefan Kangas Core Emacs co-maintainer (29.2+), build automation, admin infrastructure
26 Sean Whitton Core Emacs co-maintainer (appointed Dec 2025), Debian developer
27 Bastien Guerry Org-mode Org-mode maintainer (2011-2024), Worg inventor, orgmode.org host
28 Ihor Radchenko Org-mode Current Org-mode maintainer (2024+), performance & bug fixes
29 Dmitry Gutov Packages company-mode maintainer, xref.el, ruby-mode
30 Thierry Volpiatto Packages Helm maintainer (2011+), Helm ecosystem packages
31 Oleh Krehel (abo-abo) Packages Ivy, Swiper, Hydra, Avy, Ace-Window ecosystem maintainer
32 David Wilson (System Crafters) Content System Crafters YouTube/community, Guix System, Emacs from Scratch
33 Mike Zamansky Content "Using Emacs" video series (80+ episodes), CS education
34 Sacha Chua Community Emacs News weekly, EmacsConf core organizer, Emacs Chats interviews
35 Andy Wingo Lisp/Scheme Guile maintainer (2009+), Guile-Emacs bridge, Geiser's first user
36 Vedang Manerikar Academic pdf-tools maintainer (continued from Andreas Politz)
37 Leo Vivier Community EmacsConf co-organizer, org-roam co-maintainer, session host
38 Amin Bandali Community EmacsConf core organizer (10+ years), GNU/FSF volunteer, Debian Dev
39 Corwin Brust Community EmacsConf organizer/transcriber, dungeon-mode co-creator
40 Ivan Yonchovski Dev Tooling lsp-mode maintainer, dap-mode (Debug Adapter Protocol)
41 lizqwer scott (lizqwerscott) MCP mcp.el -- official MCP client for Emacs
42 Michael Pontus (mpontus) MCP emacs-mcp -- MCP server exposing Emacs to AI agents
43 Mingde (Matthew) Zeng AI/LLM Aidermacs creator/maintainer (AI pair programming), NonGNU ELPA
44 Artur Malabarba Lisp/Packages Endless Parentheses blog, CIDER co-author, spinner.el, beacon.el
45 Nicholas Vollmer (progfolio) Packages Elpaca package manager, straight.el contributor
46 Matus Goljer (Fuco1) Packages smartparens maintainer, dired-hacks, litable

-1 Validators (23) -- Reviewers, verifiers, quality assurance

# Name Category Primary Contribution
47 Stefan Monnier Core Former Emacs maintainer (23-25), regex/syntax/keymap reviewer, PL researcher
48 Xah Lee Content Emacs Tutorial (since 2007), xah-fly-keys, exhaustive Elisp documentation
49 Mickey Petersen Content Mastering Emacs book & blog (since 2010), definitive reference documentation
50 Jon Snader (jcs) Content Irreal blog, daily Emacs commentary & quality curation
51 Karl Voit Academic Org-mode researcher, PIM methodology validator, Memacs, lazyblorg
52 Bruce D'Arcus Academic Citar, org-cite review, academic citation workflow validation
53 Andrey Listopadov Lisp/Scheme fennel-mode, Fennel REPL protocol, async.fnl, Emacs quality blogger
54 Laurynas Biveinis MCP mcp-server-lib.el, elisp-dev-mcp, org-mcp -- MCP spec compliance
55 Vivek Haldar MCP emacs-mcp-server (elisp gen+exec), VP AI Agents at Emergence, ex-Google
56 rhblind MCP Pure ELISP MCP server, security model validation for LLM access
57 David Aspinall Proof Assistants Proof General creator (1998+), Edinburgh LFCS, Isabelle Proof General
58 Sebastian Ullrich Proof Assistants lean4-mode co-author, Lean 4 co-developer, 2025 ACM SIGPLAN Award
59 Mike Shulman Proof Assistants Narya proof assistant (HoTT/higher-dimensional type theory), nLab
60 Akib Azmain Turja Terminal Eat (Emulate A Terminal) -- pure Elisp terminal emulator
61 akermu Terminal emacs-libvterm (vterm) -- libvterm-based terminal emulator
62 Dirk-Jan C. Binnema (djcb) Email mu/mu4e creator -- email client for Emacs with Guile scripting
63 David Bremner Email notmuch maintainer -- tag-based email system with Emacs interface
64 Vegard Oye Packages evil-mode co-creator, Vi-layer correctness & specification
65 Frank Fischer Packages evil-mode co-creator, evil-states design & verification
66 Daniel Pettersson (svaante) Dev Tooling dape (Debug Adapter Protocol for Emacs), GNU ELPA
67 Philip Kaludercic (pkal) Dev Tooling GNU ELPA / NonGNU ELPA reviewer, package quality gatekeeper
68 Natalie Weizenbaum (nex3) Packages perspective.el creator, also Sass/Dart lead at Google
69 Justin Burkett (justbur) Packages which-key (now built into Emacs 30), keybinding specification

GF(3) Verification

Generators (+1):  23 entries (#1-#23)
Coordinators (0): 23 entries (#24-#46)
Validators (-1):  23 entries (#47-#69)
Total:            69
Sum:              23(+1) + 23(0) + 23(-1) = 23 - 23 = 0  [BALANCED]

Category Coverage Summary

Category Count People
Core/Maintainers 8 Corallo, Ingebrigtsen, Fu, Wiegley, Zaretskii, Kangas, Whitton, Monnier
Org-mode 4 Dominik, tecosaur, Guerry, Radchenko
Package Authors 15 Bernoulli, Mendler, Camarena, Lissner, Benner, Sveen, Volpiatto, Krehel, Gutov, Vollmer, Goljer, Burkett, Oye, Fischer, Weizenbaum
Content Creators 7 Prot, Wilson, Zamansky, Lee, Petersen, Chua, Snader
Accessibility 1 TVRaman
Academic/Research 4 Rougier, Voit, D'Arcus, Manerikar
Lisp/Scheme 6 Batsov, Ortega Ruiz, Wingo, Tavora, Listopadov, Malabarba
AI/LLM Integration 5 karthink, Hyatt, Kostyaev, Ramirez, Zeng
MCP Integration 5 lizqwerscott, Pontus, Biveinis, Haldar, rhblind
Proof Assistants 3 Aspinall, Ullrich, Shulman
Terminal/TUI 2 Turja, akermu
Email 2 Binnema, Bremner
Community/Conference 3 Vivier, Bandali, Brust
Knowledge Management 1 Kuan
Developer Tooling 3 Yonchovski, Pettersson, Kaludercic

Required Inclusions Verified

  • TVRaman (T.V. Raman) -- #14, +1 Generator, Emacspeak/Google accessibility
  • xenodium (Alvaro Ramirez) -- #21, +1 Generator, agent-shell/chatgpt-shell
  • All 12 specified categories covered
  • Exactly 69 people
  • GF(3) perfectly balanced: 23/23/23

Notes

  • TVRaman (T.V. Raman) is assigned +1 (Generator) as the creator of Emacspeak, the pioneering Complete Audio Desktop continuously developed since 1995 -- one of the most important accessibility innovations in computing history.
  • xenodium (Alvaro Ramirez) is assigned +1 (Generator) for prolific creation of Emacs packages bridging AI/LLM agents with Emacs, including agent-shell for ACP integration with Claude Code and Gemini CLI.
  • Mike Shulman bridges proof assistants and category theory, directly relevant to the project's HoTT/ACSet foundations.
  • Andy Wingo bridges Guile Scheme and Emacs, relevant to the Geiser-Hatchery integration.
  • Timothy (tecosaur) bridges Org-mode and Julia, relevant to the topos-julia integration.
  • The MCP Integration category (5 people) reflects the rapidly growing 2025-2026 ecosystem of Model Context Protocol tools for Emacs.
  • GF(3) assignment convention: creation of novel artifacts = +1, maintenance/coordination = 0, review/verification/documentation = -1.

Sources