Hey, this was my port, nice to see people interested.

Yeah, it still needs a few changes on the HVM rust compiler to work, but we could figure it out together if you want.

Hit me up on @Cauef on telegram, caue.fcr@gmail.com, or let's talk on the issue pages of HVM!