Very interesting. I am wondering about the "level of translation". Is it using plain safe Rust or is it full of unsafe functions everywhere.
I planned to port LMDB to Rust by hand "just to see" and it was an awful work. There are too many defines and conditional compilations due to the nature of the work: interfacing different OS to write an on-disk B+Tree...
Hi, I'm one of the authors on the paper! The translation is to safe Rust and is expected to not contain any `unsafe` constructs. Regarding, rewriting LMDB: seems like an interesting case study to consider for us in the future.