I've always been interested in this sort of thing - with webassembly standardizing, they may become realistically usable soon, too.

Another implementation from a few years ago:

https://github.com/nurv/BicaVM