different engine for JIT

[Pavel Stehule]

Hi

I found https://github.com/vnmakarov/mir?tab=readme-ov-file

It should be significantly faster than llvm (compilation).

Regards

Pavel