Projects
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.
1. 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 |
2. 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 |
3. 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.
Life & Computing Science by Musa Al-hassy is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License