ocaml git:纯OCaml Git格式和协议 源码

纯OCaml Wayland协议库 状态:原型制作 Wayland是一种通信协议,旨在在单台计算机上的进程之间使用。 它主要由图形应用程序(客户端)用于与显示服务器进行通信,但是有关该协议的任何信息都

Git:Git,Github和协议

ocaml-tls:纯OCaml中的T​​LS

ocaml-ctypes:使用纯OCaml绑定到C库的库

OCaml LSP OCaml-LSP是用于OCaml的语言服务器,它实现了(LSP)。 该项目包含用于OCaml的语言服务器的实现,以及实现LSP的独立库。 安装 我们建议通过软件包管理器(例如或安

OCaml:在OCaml中实现的算法

食用辅酶 将OCaml程序导入Coq。 从文件main.ml开始: type 'a tree = | Leaf of 'a | Node of 'a tree * 'a tree let rec su

ocaml-srt 该模块为库提供OCaml绑定。 中描述了其API

ocaml-leveldb:Google的LevelDB的OCaml绑定 版权所有(c)2011-2021 Mauricio Fernandez 这些绑定几乎公开了完整的LevelDB C ++ AP

ocaml-webmachine:OCaml的REST工具包