The semantics is executable but for an emulator you probably want something more efficient. I don't know whether K semantics can be "compiled", so to speak. It probably can with enough effort?
They can; Grigore was my advisor in college and I’ve seen him demo exactly that.