Macintosh Sdtty
I’ve compiled the source code for Sdtty under Mac OS X, and made it available (with the author’s permission, of course) here: http://www.squarez.com/sd/sdtty.dmg. Mac users beware: this is not a nice GUI application; it runs in the Terminal application and uses a command line interface. But it works, and, as far as I know, is the only way to write high level choreography on a Mac (without using Virtual PC).
I did write an Applescript to make starting up easier; the Applescript (run_sdtty) launches the Terminal, resizes the window (I think Sdtty works better with a taller window), and starts Sdtty. The rest is up to you.
Here are a couple of screen shots: