Tools

Some computer programs I have written. Since I actually use them, I guess they count as structured procrastination.

• pandoc

  a general markup converter, written in Haskell. Converts from markdown, HTML, LaTeX, or reStructuredText to markdown, HTML, LaTeX, ConTeXt, reStructuredText, DocBook XML, RTF, groff man pages, or S5 slide shows. I use this for all of my lecture notes, letters, and websites.

• highlighting-kate

  a source code syntax highlighting library in Haskell. Parsers for different languages are automatically generated from Kate xml syntax definitions.

• peg-markdown

  an implementation of markdown in C, using a PEG (parsing expression grammar). See also markdown-peg, a PEG-based markdown in Haskell.

• sep-offprint

  produces PDF offprints from Stanford Encyclopedia of Philosophy entries

• html2x

  web application using pandoc to convert web pages to any of eight different formats (markdown, reStructuredText, LaTeX, DocBook, etc.).

• GOGAR (game of giving and asking for reasons)

  a computer model of the scorekeeping dynamics in Robert Brandom’s Making It Explicit

• Truth table tutor

  an online truth table tutor, written in Haskell and Javascript.

• Navajo Lucida Sans font

  a TrueType font for the Navajo language

• pandocwiki

  a simple wiki program in Haskell, using pandoc.

• pysitegen

  python program that creates a website from reStructuredText files.

• html2rst

  two short programs (one in Haskell, the other in OCaml) that convert web pages to reStructuredText, a simple markup format