No, all word of mouth, often from the microcoders themselves (Moon and Greenblatt, at least). And it was either a compiler from Lisp to microcode, for making hot code faster, or Lisp primitives implemented in fast microcode. And the virtual machine that implemented the compiler's byte code as well.
The Micro:bit Educational Foundation do it for https://python.microbit.org/ where the scope is conveniently limited (to MicroPython running on a device with finite flash/RAM)
edit: Would love to see more technical details on microcode as there doesn't appear to be too much available. Of course I might be looking at the wrong places.
[1] http://youtu.be/_q-TgFdVQF4?t=25s
reply