🔧 开发工具
Programming Language 📍 未知总部
cakeml.org
函数式编程语言及验证编译器
综合评分
★★★⯨☆ 7.0/10
中国可用
★★★ 国内直连友好
数据来源
ai_crawl · 最近更新 2026-06-03
中文卖点 / 编辑评测
开源，适合研究编译原理和形式化验证
关于此条目
cakeml.org 是一家 未知 的 开发工具 (Programming Language) 服务商. TG4G 测评收录其 套餐「函数式编程语言及验证编译器」, 综合评分 7.0/10, 中国可用度 友好. 点击「前往官网」可直达 cakeml.org 官方页面.