We have been using this in one class. I compiled it to run in a web browser: http://mmix.rwth.weinberg.me It is faster than I would have thought. It even runs on iOS8.

(Disclaimer: this was created in 1-2h and the JS is like 3Mb)