Alana

A highly responsive Turing machine simulator with many examples and extensive documentation.

    http://www.metalevel.at/alana/alana-1.0.tar.gz
    http://www.metalevel.at/alana/alana.pdf

Jeff Smith 2020-08-05 : Below is an online demo using CloudTk. This demo runs Alana in an Alpine Linux Docker Container. It is a 27.5MB image which is made up of Alpine Linux + tclkit + Alana-1.0.kit + libx11 + libxft + fontconfig + ttf-linux-libertine. It is run under a user account in the Container. The Container is restrictive with permissions for "Other" removed for "execute" and "read" for certain directories.

NEM Written in Tcl?

LV Apparently:

$ gtar tfz alana-1.0.tar.gz
alana-1.0/
alana-1.0/TODO
alana-1.0/README
alana-1.0/halting.txt
alana-1.0/alana.tcl
alana-1.0/examples/
alana-1.0/examples/multiplication.al
alana-1.0/examples/a2n.al
alana-1.0/examples/unaryadd.al
alana-1.0/examples/divisibility.al
alana-1.0/examples/copyinput.al
alana-1.0/examples/binaryadd.al
alana-1.0/examples/subtract.al
alana-1.0/examples/primality.al
alana-1.0/examples/busy5.al
alana-1.0/examples/anbncn.al
alana-1.0/ChangeLog
alana-1.0/COPYING

LAM - 2015-09-15 22:46:36

The link is broken ... Fixed Larry Smith 9/15/2015