They do, you may just not look very much into the ecosystem. OSes - redox and many other smaller projects git - pijul is novel, gitoxide is a pure-Rust git re

They do, you may just not look very much into the ecosystem. OSes - redox and many other smaller projects git - pijul is novel, gitoxide is a pure-Rust git reimplementation vim - Helix, based on vim and kakoune >a lot of C code will be made memory safe in the future without needing a rewrite in Rust. Sanitizers don't do what Rust does, and static analyzers cannot make C memory safe. You would have an easier time of bolting a borrow checker onto a subset of C++ than what you're thinking of, IMO.