#c2rust — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #c2rust, aggregated by home.social.
-
Since 2026/05/11 I have been massaging the output of #c2rust run on the #metamath source code into increasingly idiomatic #Rust. Right now verification of large databases of theorems runs in about 80% of the time of the C binary but I'm haven't yet converted all the IO away from stdio routines which want NUL-terminated CStrings (and the super unsafe *const u8). I've stripped out the idiosyncratic private memory management in favor of pre-allocating vectors and string buffers which is an improvement in performance and maintaining my sanity.
-
In that regard - how much would it help to automate the conversion using something like #C2Rust ? github.com/immunant/c2rust -
