JIT compiler and runtime for a toy language, using Cranelift
Why do you think that https://github.com/pirapira/coq2rust is a good alternative to cranelift-jit-demo
JIT compiler and runtime for a toy language, using Cranelift
Why do you think that https://github.com/pirapira/coq2rust is a good alternative to cranelift-jit-demo