Org Mode

emacs

Backlinks

• Finding Vertex Covers with Z3

  from z3 import * would be fine, too, but my Python Org Mode source blocks don't seem to work with * imports.

• Org Babel

  Literate Programming with Org Mode.

• Learning Languages

  Anki is a good open-source tool for this. If you're using Emacs, check out Org Flashcards, my spaced repetition system for Org Mode.

• Static Site Generator

  Most content of this website is written in Org Mode.

• Org Mode PostScript Source Blocks

  Hacky org-babel execute function for generating images from PostScript source blocks in Org Mode.

If you have an idea how this page could be improved or a comment send me a mail.