FStarLang/karamel
@FStarLangKaRaMeL 是一款将底层 F* 程序转换为可读 C 代码的工具
星数
518
Fork 数
73
语言
OCaml
许可
Apache-2.0
最后推送
2周前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
KaRaMeL 是一款将底层 F* 程序转换为可读 C 代码的工具
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。