* Projects                                                   :emacs:packages:
:PROPERTIES:
:MODIFIED:    2026-10-14
:DESCRIPTION: Things I've built: the write-ups live here, the code lives on GitHub.
:CUSTOM_ID:   projects
:SITE_NAV:    Projects
:END:

** Abstract                                                          :ignore:
Things I've built.  Each write-up is the project's literate source ---the very file that
tangles to its code--- so the prose here and the code on GitHub never drift apart.  Like
one?  Star it, fork it, or open an issue on GitHub; that's where the code lives.

** Emacs packages

| Project                  | What it does                                                            | Code   |
|--------------------------+-------------------------------------------------------------------------+--------|
| holy-books               | Org-mode links, tooltips, and Lisp look-ups for the Quran and the Bible | GitHub |
| org-special-block-extras | A unified interface for custom Org blocks and links: =defblock=           | GitHub |
| repl-driven-development  | =C-x C-e= any code, in any language, to a REPL in the background          | GitHub |
| lf                       | Language features for Emacs Lisp: contracts, types, specs               | GitHub |
| ob-latex-as-png          | Inline arbitrary LaTeX snippets as PNGs                                 | GitHub |
| org-agda-mode            | Literate Agda, the Org-mode way                                         | GitHub |
| snap                     | Snapshot testing for Emacs Lisp, atop ERT                               | GitHub |
| easy-access              | Clojure-style keyword/integer/string accessors for Emacs Lisp           | GitHub |
| fancy-C-x-C-e            | Unified interactive-eval dispatch                                       | GitHub |
| actionable-query         | Turn any query into an interactive, actionable view                     | GitHub |
| g.el                     | The long lost Emacs graph manipulation library                          | GitHub |

** Configurations, apps, and research

| Project                     | What it is                                                      | Code   |
|-----------------------------+-----------------------------------------------------------------+--------|
| A Life Configuring Emacs    | My Emacs initialisation file, written in Org-mode               | GitHub |
| LifeOrg                     | Emacs' Org-mode brought to Android phones                       | GitHub |
| An Interactive Way to C     | C program proving in Emacs, à la Coq with Proof General         | GitHub |
| The Next 700 Module Systems | PhD: a typeclass and a record are the same thing, or so I argue | GitHub |
| Gentle Intro to Reflection  | A slow-paced introduction to reflection in Agda ---tactics!     | GitHub |
| CalcCheck                   | Lecture notes and docs for calculational proofs                 | GitHub |
| glox                        | A Gleam implementation of Lox                                   | GitHub |

** Cheat sheets

Pretty reference cards, each a PDF made from Org via CheatSheet:
Elisp ·
JavaScript ·
Haskell ·
Agda ·
Category Theory ·
Python ·
Prolog ·
OCaml ·
Clojure ·
Coq ·
F# ·
Oz ·
Rust ·
Ruby ·
C ·
Vue ·
AngularJS ·
Goju Ryu Karate.