Universal Machine interpreter implemented in Common Lisp.
Should work on any CL implementation, SBCL is recommended.
UM spec: http://www.boundvariable.org/task.shtml
This is free and unencumbered software released into the public domain.
xristos (AT) sdf (DOT) org