Repositórios de código aberto acompanhados de CakeML, ordenados por estrelas.
CakeML: Uma implementação verificada de ML
