暂无评论
用来学习ocaml是很不错的,代码很规范，充分体现了ocaml的灵活与强大。
eioio-基于效果的OCaml并行IO 该库为多核OCaml实现了基于效果的直接样式IO堆栈。 该库非常有待开发,因此这是一个未发布的存储库。 有关效果系统的一些背景可以在以下位置找到: (出现,P
《trs:术语重写系统(OCaml Ver.)》是一个基于OCaml编程语言实现的术语重写系统。术语重写系统是计算机科学中的一个重要概念，它主要用于处理形式逻辑、计算理论和编译器设计等领域。OCaml
奥卡特拉OCaml的简单Web服务器库，如Sinatra：open OcatraHttpCommonopen OcatraHttpCommon.Contentlet _ = get \
这是一个很小的玩具,是使用Cstubs_cstructs用OCaml编写的基于KVM的VMM。 它基于Serge Zaitsev的和ocaml-ctypes存储库中的。 它能够启动Linux bzIm
语法:OCaml的通用语法扩展PPX Syntext旨在允许用户轻松地为OCaml定义自己的PPX语法扩展。 它带有各种帮助程序来编写此类扩展和一组预定义的插件。 这些涵盖与标准库中的类型相关的自然扩
树皮:elmparser(v1.1.0)的非官方OCaml端口
功能编程和验证(IN0003) 设置 我们提供了一个虚拟机,其中已经设置了所有内容,还提供了有关如何使用它的视频(请参阅Moodle)。 如果您不想使用虚拟机,请运行./setup.sh ,更换软件包
bs解码 将JSON值解码为结构化的ReasonML和OCaml类型。 受Elm的和启发, bs-decode是的替代产品,它专注于结构化,类型安全的错误处理,而不是异常。 另外, bs-decode
ocaml-caqti:对关系数据的合作线程访问
暂无评论