Alana is a highly responsive Turing Machine simulator with many examples, like (unary and binary) addition, subtraction and multiplication, "copy band content", string parsing examples, and divisibility and primality testing. The documentation contains an introduction to Turing Machines as well as some interesting theoretical information (halting problem, busy beaver, universal Turing Machines) and pointers to further literature.
