TTT implemented in Racket (formerly PLT-Scheme) for the command line.