Prossimo | Memory safety for the Internet's most critical infrastructure
ISRG's Prossimo is moving critical software to memory safe code.
They have a blog
https://www.memorysafety.org/blog/
Prossimo project aims to replace memory unsafe C/C++ code with Rust