Scylla is about doing the same thing but with an actual C frontend. Scylla consumes C code via libclang, and emits Rust code, relying on the same compilation strategies outlined in our preprint.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results