2585

Software titles : 1-3 of 3 found.

Page: 1

1 - Alana 1.0
A highly responsive Turing machine simulator written in Tcl/Tk. Contains many examples (unary and binary addition, subtraction, multiplication, a 5-state busy beaver, 2 string parsing examples, divisibility test, primality test), a theoretical introduction to Turing machines, a proof of the undecidability of the halting problem and pointers to further literature.
License: Shareware OS: Unix

01/09/2019

2 - Dialogos 0.5
Dialogos lets you automate network communication. The program is controlled via a scripting language.
License: Shareware OS: Unix

02/23/2019

3 - Jind 1.0
Jind is an interpreter for a toy programming language. The aim of the game is to lead a person out of a labyrinth by giving appropriate textual instructions.
License: Shareware OS: Unix

02/06/2019

Page: 1