Projects About AlBasmala
build status

Here are some of my latest thoughts on packages…

📡 Subscribe via RSS


Articles on this page
  1. org-special-block-extras: Org lists, drawn as Graphviz graphs
  2. Tooltips for Glossaries, Dictionaries, and Documentation
  3. Badge Links
  4. Permalinks ---Org's own =<>=, made visible---
  5. Editor Comments
  6.  :fire: HTML Export Styles ---=#+html_export_style: THEME=
  7. Colours
  8. org-special-block-extras: Make your own blocks and links
  9. org-special-block-extras: The block and link types
  10. org-special-block-extras: Write Once, Export Everywhere
  11. Holy Books: Quran & Bible look-ups in Org-mode
  12. Projects
  13. Have you ever packaged anything?

org-special-block-extras: Org lists, drawn as Graphviz graphs

Article image


Tooltips for Glossaries, Dictionaries, and Documentation

Article image

Sometimes I want to use the same tooltip multiple times, so I write the tooltip content once in a documentation block and then reference it using the the doc link type.


Badge Links

Article image

Badges provide a quick and colourful summary of key features of a project, such as whether it's maintained, its license, and if it's documented.


Permalinks ---Org's own =<>=, made visible---

Article image

Sometimes we want to point explicitly at a particular location in an article, such as within a #+begin_details block. Org already has two kinds of target for this; we merely make the first one visible.


Editor Comments

Article image

“Editor Comments” are intended to be top-level first-class comments in an article that are inline with the surrounding text and are delimited in such a way that they are visible but drawing attention. I first learned about this idea from Wolfram Kahl —who introduced me to Emacs many years ago. We


 :fire: HTML Export Styles ---=#+html_export_style: THEME=

Article image

It's annoying to have to introduce HTML into your Org —especially when you don't know HTML and don't want to learn it just to have a pretty webpage.


Colours

Article image

Let's develop blocks for colouring text and link types for inline colouring; e.g., color and teal.


org-special-block-extras: Make your own blocks and links

Article image

Every block and link above is made with the very tools below, so a new one of our own is a defun away.


org-special-block-extras: The block and link types

Article image

It can be useful to draw attention to some important text by enclosing it in a box.


org-special-block-extras: Write Once, Export Everywhere

Article image

org-special-block-extras-badge.svg


Holy Books: Quran & Bible look-ups in Org-mode

Article image

Org-mode links like quran:1:1 and bible:John:3:16 fetch and inline their verses upon export, with tooltips in Emacs and Lisp look-ups to boot.


Projects

Article image

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.


Have you ever packaged anything?

Article image

Herein I try to make my current doctoral research accessible to the average person: Extending dependently-typed languages to implement module system features in the core language. It's something I can direct my family to, if they're inclined to know what it is I've been doing lately.

The technical matter can be seen at the associated website ─The Next 700 Module Systems─ which includes a poster, slides, and a demo.

Excluding the abstract, this is my thesis proposal in three minutes (•̀ᴗ•́)و



Thanks for reading everything! 😁 Bye! 👋

Creative Commons License
Life & Computing Science by Musa Al-hassy is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License