https://www.memorysafety.org/
ISRG's Prossimo is moving critical software to memory safe code.
@morpheus17pro