|
Coq (Rocq) and Other Proof Assistants in Org Mode
|
|
6
|
138
|
April 25, 2025
|
|
Emacs + Org Mode + Ox-Hugo + Nix = Reproducible Site
|
|
7
|
356
|
April 24, 2025
|
|
Emacs everywhere rewrite?
|
|
13
|
332
|
April 23, 2025
|
|
A more powerful alternative to Org-present
|
|
7
|
125
|
April 23, 2025
|
|
Workflow suggestions for tasks and CRM
|
|
1
|
36
|
April 23, 2025
|
|
Emacs Package Development: The Emacs Reader (I: Introduction)
|
|
0
|
88
|
April 22, 2025
|
|
Container management on Emacs-Solo
|
|
1
|
77
|
April 20, 2025
|
|
An RSS generator for org-publish
|
|
3
|
103
|
April 17, 2025
|
|
One leading semicolon or two
|
|
3
|
81
|
April 17, 2025
|
|
Emacs on macOS?
|
|
14
|
3492
|
April 16, 2025
|
|
Improvement of face remappings for org-present
|
|
0
|
35
|
April 14, 2025
|
|
Line appears on images when setting default to variable-pitch in org-present
|
|
4
|
57
|
April 14, 2025
|
|
Why Emacs will NEVER be popular!
|
|
22
|
2248
|
April 3, 2025
|
|
(φ (μ (λ))): Understanding the Dynamic Module System of GNU Emacs
|
|
0
|
70
|
April 3, 2025
|
|
Markers are awesome
|
|
1
|
94
|
April 2, 2025
|
|
Highlight sexp being evaluated using pulse
|
|
1
|
62
|
March 13, 2025
|
|
Crafted Emacs Update for March 2025
|
|
1
|
152
|
March 12, 2025
|
|
Do you use the Emacs package in stable distros?
|
|
3
|
77
|
March 7, 2025
|
|
Hatty.el: Hat rendering for avy-esque navigation
|
|
0
|
53
|
February 28, 2025
|
|
The reasons I chose to always opt for emacs-style bindings, even though I'd rather never use emacs
|
|
0
|
112
|
February 24, 2025
|
|
Problem with diff-split-hunk (vc-mode)
|
|
2
|
87
|
February 19, 2025
|
|
Favorite resources for from-scratch Emacs package development?
|
|
6
|
253
|
February 1, 2025
|
|
Aquamac is really beautiful on macos!
|
|
1
|
119
|
January 30, 2025
|
|
Gibberish on the status bar/splash screen?
|
|
5
|
81
|
January 24, 2025
|
|
New Emacs Logo/Icon!
|
|
11
|
518
|
January 23, 2025
|
|
How to make yasnippets show up in the completion menu while using sly?
|
|
3
|
302
|
January 23, 2025
|
|
Trouble with completion/suggestions with Dart (lsp-mode and lsp-dart)
|
|
0
|
21
|
January 22, 2025
|
|
Activities.el (new package for "workspace" management)
|
|
48
|
1132
|
January 21, 2025
|
|
Emacs UI for Discourse
|
|
30
|
538
|
January 5, 2025
|
|
Any approach for scheduled events in different time zones?
|
|
1
|
34
|
December 18, 2024
|