Meet mmixdb, part of checksmix — a Unix-style debugger for MMIX. It lets you approach your program from the point of view of the machine state and that's how MMIX is meant to work.

MMIX

MMIX is Knuth's 64-bit RISC machine, the one that replaced MIX throughout the current edition of …