Repositórios de código aberto acompanhados de AbsInt, ordenados por estrelas.
O compilador C formalmente verificado CompCert
