We're a small team dedicated to elimination of memory safety errors. We're maintaining the C2Rust tools and use it to move C code to Rust.