Repositori open source terpantau milik AbsInt, diurutkan berdasarkan bintang.
CompCert, kompiler C yang diverifikasi secara formal.
