I dont know how hard it would be to port it to other platforms. Different Virtual machine. Tezos uses a human readable stack based language as a low level repr

I dont know how hard it would be to port it to other platforms. Different Virtual machine. Tezos uses a human readable stack based language as a low level represenation that is suited for formal proofs: https://tezos.gitlab.io/008/michelson.html https://tezos.gitlab.io/008/michelson.html If archetype depends on that then its going to be hard to port but i dont think it does. Another interesting project in development is https://juvix.org/ https://juvix.org/ which targets more backends beside michelson like llvm and wasm. Might run on eth2/Ewasm. There are also blockchain specific features like: https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc71cd https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc7...