I wrote (some) of a Lua interpreter in Rust, which runs PUC Lua 5.1 dumped bytecodes. Now I'm rewrite it all because I want to do type specialization: I'm implementing "Simple and Effective Type Check Removal through Lazy Basic Block Versioning", which is used as the basis of Shopify's YJIT for Ruby. I have a decent idea of how it needs to be implemented and have a prototype kinda working, although some of the jump targets are still wrong right now. Once I get it all sketched out then I'll have to scale it back up to a full Lua implementation again, and then I'll add table shape specialization afterwards (which is a bit trickier, and outlined in a sequel paper).