GEB is a project mainly written in Haskell, it's free.

Programatic representations of excerpts from "Gödel Escher Bach"