Professeure Blazy taught sessions on CompCert at the Oregon Programming Language Summer School (OPLSS) last year (2023). I was really looking forward to these. (I got to attend some of the sessions before I caught COVID and had to isolate before leaving.)
I think a noble goal would be to see CompCert Fortran some day.