OCaml<->Rust FFI with an emphasis on safety.
Why do you think that https://github.com/o1-labs/proof-systems is a good alternative to ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
Why do you think that https://github.com/o1-labs/proof-systems is a good alternative to ocaml-interop