-
emacs.d Public
My Emacs configuration, literately 😄
-
emacs-archiver Public
Forked from Duncan-Britt/emacs-archiverEmacs package for archiving org mode subtrees such that the branch and subtree is mirrored within the archive file.
Emacs Lisp UpdatedOct 3, 2025 -
org-special-block-extras Public
A number of new custom blocks and link types for Emacs' Org-mode ^_^
-
org-ql Public
Forked from alphapapa/org-qlA searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.
Emacs Lisp GNU General Public License v3.0 UpdatedJun 11, 2025 -
repl-driven-development Public
Press "C-x C-e" to send any piece of code (in any language) to a REPL in the background, within Emacs!
-
-
ox-jira.el Public
Forked from stig/ox-jira.elOrg-mode export backend for JIRA markup
Emacs Lisp UpdatedMay 5, 2024 -
org-static-blog Public
Forked from bastibe/org-static-blogA static site generator using org-mode
Emacs Lisp BSD 3-Clause "New" or "Revised" License UpdatedMar 24, 2024 -
ob-latex-as-png Public
Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
-
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedMay 2, 2023 -
easy-extensibility Public
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
-
GojuRyuCheatSheet Public
A quick cheat sheet for common terms in Goju Ryu Karate ---the hard-soft style of karate.
TeX UpdatedJan 23, 2023 -
JavaScriptCheatSheet Public
Quick reference to the tremendously accessible high-level language of the web ^_^
-
VueCheatSheet Public
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
1 UpdatedSep 16, 2022 -
-
RubyCheatSheet Public
Reference of basic commands to get comfortable with Ruby ---Pure OOP!
-
vscode-juvix Public
Forked from anoma/vscode-juvixJuvix IDE support for VSCode
TypeScript GNU General Public License v3.0 UpdatedAug 27, 2022 -
gentle-intro-to-reflection Public
A slow-paced introduction to reflection in Agda. ---Tactics!
-
learning Public
Some fun with AngularJS $http, REST APIs, and way-too much inline CSS
HTML UpdatedMar 14, 2022 -
-
skerrick Public
Forked from anonimitoraf/skerrickREPL-driven development for NodeJS
TypeScript GNU General Public License v3.0 UpdatedMar 1, 2022 -
CheatSheet Public
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
-
AgdaCheatSheet Public
Basics of the dependently-typed functional language Agda ^_^
-
jsdoc.el Public
Forked from isamert/jsdoc.elEmacs Lisp GNU General Public License v3.0 UpdatedNov 25, 2021 -
org-agda-mode Public
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
-
-
holy-books Public
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
-
next-700-module-systems Public
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
-
-
lf Public
A Language Features library for Emacs Lisp
{{ message }}