Các kho mã nguồn mở đang theo dõi của CakeML, sắp xếp theo số sao.
CakeML: Bản cài đặt đã được xác thực của ML
