Le projet Capla Compiler est une version modifiée du compilateur CompCert, un compilateur C formellement vérifié. Il permet de transformer du code source C en code assembleur pour différentes architectures matérielles (ARM, PowerPC, RISC-V, x86) tout en garantissant la conformité du code généré par rapport au code source. Ce projet est utilisé dans des contextes où la fiabilité et la sécurité des programmes compilés sont critiques, notamment dans les domaines de la recherche, de l'éducation et de l'industrie.