we used c2rust in 2019 for the Delta Chat core library; we added some more details about that to the blog post that time [1]

[1] https://delta.chat/en/2019-05-08-xyiv#the-coming-delta-chat-...