【文件属性】：
文件名称：deepsea:DeepSEA编程语言
文件大小：26.16MB
文件格式：ZIP
更新时间：2021-03-08 12:22:53
OCaml
DeepSEA语言
您可以从下载一个zip文件。 请参阅以获取安装和使用说明。
该zip文件包含适用于Linux（Ubuntu）和MacOS的预构建二进制文件。 由于它们使用某些系统库，因此它们可能无法在每个版本Linux或MacOS上运行。 按照src目录中的说明，您也可以很容易地从源代码中构建二进制文件。
上包含有关DeepSEA项目的更多信息，包括博客文章和 。
DeepSEA编译器包括从CompCert获取和修改的文件，因此它是根据CompCert许可证开发的。 特别是，它只能用于教育，研究，个人或评估目的，而不能用于商业用途。
请让我们知道您的想法！ 反馈可以发送至 。