Software

Computing as Compression
New compression system based on ICMAUS Theory.
http://www.cognitionresearch.org.uk/sp.htm

Turing & Post Machines (C++ Simulators)
C++ programs that simulate Deterministic and Nondeterministic Multitape Turing and Post Machines.
http://sourceforge.net/projects/turing-machine/

Virtual Turing Machine
A web based simulator of Turing machine.
http://www.cs.nuim.ie/~tnaughton/turing/