Pretty impressive! Fil-C allows making existing C programs memory safe (through “InvisiCaps” and a Garbage Collector, building on top of LLVM): https://www.youtube.com/watch?v=5F-2Y1LPRek