Have you heard of Aeneas? In case you did, what are your opinions on it? Specifically, why you didn't choose it for your project.
Have you heard of Aeneas? In case you did, what are your opinions on it? Specifically, why you didn't choose it for your project.
From what I can tell Aeneas only supports safe Rust. I need something that works with both C and unsafe Rust.