Các kho mã nguồn mở đang theo dõi của AbsInt, sắp xếp theo số sao.
Trình biên dịch C được xác minh chính thức CompCert.
