用 OCaml 编写的库

sihl

模块化的功能性网络框架。
  • 339
  • MIT

ocaml-ctypes

使用纯 OCaml 绑定到 C 库的库。
  • 337
  • MIT

notty

OCaml 的声明性终端图形(由 pqwy 提供)。
  • 323
  • ISC

bamboo

Bamboo 参见 https://github.com/cornellblockchain/bamboo (由 pirapira 提供)。
  • 318
  • Apache License 2.0

bonsai

使用 Js_of_ocaml 构建动态 Web 应用程序的库。
  • 305
  • MIT

vscode-ocaml-platform

OCaml 的 Visual Studio Code 扩展。
  • 298
  • ISC

soupault

基于HTML元素树重写的静态网站生成器。
  • 294
  • MIT

ocaml-h2

用纯 OCaml 编写的 HTTP/2 实现。
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

OCaml 和 ReScript 的代码覆盖率。
  • 283
  • MIT

yojson

OCaml 的低级 JSON 解析和漂亮打印库。
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

BuckleScript 的组合式 JSON 编码/解码库。
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

ReasonML 和 OCaml 的实验性 Web 框架。
  • 264
  • MIT

GeneWeb

GeneWeb 是一款免费(如自由言论)家谱软件,具有由 Daniel de Rauglaudre 创建的 Web 界面。
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Jupyter (IPython) 笔记本的 OCaml 内核。
  • 258
  • MIT

1ml

1ML原型解释器。
  • 255
  • Apache License 2.0

ocaml-caqti

对关系数据的协作线程访问。
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

使用domainslib进行多核OCaml并行编程的教程。
  • 252
  • ISC

bsb-native

为 OCaml/Reason 构建系统。
  • 244
  • GNU General Public License v3.0

scilla

Scilla - 智能合约中级语言(由 Zilliqa 提供)。
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

OCaml 的 REST 工具包。
  • 222
  • GNU General Public License v3.0

mldonkey

跨平台多网络 p2p 守护进程。
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

OCaml 的形式化验证。
  • 215
  • MIT

sedlex

用于 Unicode 的 OCaml 词法分析器生成器。
  • 212
  • MIT

coq2rust

Coq 到 Rust 程序提取。整个树都基于原始 Coq 代码库。
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

纯 OCaml 正则表达式,支持 Perl 和 POSIX 风格的字符串。
  • 206
  • GNU General Public License v3.0

extprot

extprot:用于跨语言通信和长期序列化的可扩展二进制协议。
  • 203
  • GNU General Public License v3.0

plotkicadsch

该项目的目标是能够将 Kicad Sch 文件导出为结构化图片文件(由 jnavila 提供)。
  • 201
  • GNU General Public License v3.0

cooltt

😎TT。
  • 201
  • Apache License 2.0

qubes-mirage-firewall

适用于 QubesOS 的 Mirage 防火墙虚拟机。
  • 195

c2bf

编译器从 C 到 Brainfuck。
  • 194
  • GNU General Public License v3.0 only