Repositorios de código abierto monitorizados de CakeML, ordenados por estrellas.
CakeML: Una implementación verificada de ML
