The dining philosophers problem is a common Computer Science problem. Occhack is an animation I produced as coursework. The previous examples had little smiley faces running around, bits of the Philosopher song scrolling across the screen, and so on. I wanted to do something a little more original, so did an animation in the style of Nethack. It's written in occam, but I'm only making a Linux and Solaris binary available as it's assessed work and they like to set it year after year. As a result, this is not GPL code. Consider it licensed under the MIT license. If you really want to have a peek at the source, let me know. This is not GPL software, by the way: I'm placing it under the MIT license.
Unfortunately, to use these you'll either need the KRoC occam compiler, or will need to create an /etc/kroc_clock file containing your processor's speed. You can get this from /proc/cpuinfo on Linux:
[alex@aquila fortunes]$ cat /proc/cpuinfo | grep MHz
cpu MHz : 1460.471
[alex@aquila fortunes]$ cat /etc/kroc_clock
The differences don't seem to matter. You can read more about this issue on Google's usenet archive when it was originally discussed.