Package main is an example command-line program for running a "crew" of machines.

Package main is a command-line machine debugger in the spirit of gdb.

Package main is a command-line program for spec testing.

Package main is a simple program that runs a single machine.

Package main is a little command-line utility to invoke pattern matching.

Package main is a program to run machines that listen on stdin and write to stdout.

Package main is a program that can modify and analyze machine specifications.