Repositori open source terpantau milik CakeML, diurutkan berdasarkan bintang.
CakeML: Implementasi ML yang Terverifikasi
