Full threadgoy·Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore.[0] https://github.com/GaloisInc/HaLVMView on HN