Repositorios de código abierto monitorizados de AbsInt, ordenados por estrellas.
El compilador de C verificado formalmente CompCert
