kero on Nostr: nprofile1q…t293t, I just read your original article about using c2rust to convert ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqwg7xaa4k74ae68hdvtmxr0vfv2wh6txh6ht7es4tn929wggg5p8q6t293t (nprofile…293t), I just read your original article about using c2rust to convert bzip2 to Rust, and I was wondering if you would recommend it to convert the LMDB source code. It does a lot of platform-specific operations, but it is also quite small (mdb.c, lmdb.h, mild.c, and mild.h only). Do you have more information than me on the converting tool from C to safe Rust? https://arxiv.org/abs/2412.15042