用 OCaml 编写的库

incremental

用于增量计算的库。
  • 780
  • MIT

utop

OCaml 的通用顶层。
  • 774
  • GNU General Public License v3.0

ocaml-multicore

多核 OCaml。
  • 758
  • GNU General Public License v3.0

genType

自动生成 Reason 和 JavaScript 之间的惯用绑定：可以是普通的，也可以是使用 TypeScript/FlowType 键入的。
  • 756
  • MIT

opium

用于 OCaml 的类似 Sinatra 的网络工具包。
  • 738
  • MIT

austral

具有线性类型和基于功能的安全性的系统语言。
  • 735
  • Apache License 2.0

base

OCaml 的标准库（由 janestreet 提供）。
  • 709
  • MIT

ocaml-cohttp

使用 Lwt 或异步的 HTTP 客户端和服务器的 OCaml 库。
  • 636
  • GNU General Public License v3.0

lwt

OCaml 承诺和并发 I/O。
  • 630
  • MIT

ocaml-lsp

OCaml 语言服务器协议实现。
  • 613
  • GNU General Public License v3.0

ocaml-effects-tutorial

使用效果处理程序进行并发编程。
  • 609
  • MIT

angstrom

为速度和内存效率而构建的解析器组合器。
  • 562
  • GNU General Public License v3.0

ocamlformat

OCaml 代码的自动格式化程序。
  • 538
  • MIT

hardcaml

Hardcaml 是一个用于设计硬件的 OCaml 库。
  • 534
  • MIT

httpaf

用 OCaml 编写的高性能、内存高效且可扩展的 Web 服务器。
  • 525
  • GNU General Public License v3.0

batteries-included

包含电池的项目。
  • 484
  • GNU General Public License v3.0

0install

核心 0install 包。
  • 447
  • GNU Lesser General Public License v3.0 only

bolt

Bolt 是一种具有内置数据竞争自由的语言！ （穆库拉蒂）。
  • 445
  • MIT

ocaml-containers

轻量级、模块化标准库扩展、字符串库以及各种库（unix、线程等）的接口 BSD 许可证。
  • 445
  • BSD 2-clause "Simplified"

vult

Vult 是一个非常适合编写高性能 DSP 代码的转编译器。
  • 432
  • GNU General Public License v3.0

min-caml

移自 https://sourceforge.net/p/min-caml/code/。
  • 429
  • GNU General Public License v3.0

eioio

用于多核 OCaml 的基于效果的直接式 IO。
  • 424
  • GNU General Public License v3.0

LinearML

用于并行编程的函数式语言。
  • 416
  • GNU General Public License v3.0

motoko

用于编写互联网计算机容器的简单高级语言。
  • 412
  • Apache License 2.0

ppx_deriving

OCaml 的类型驱动代码生成。
  • 392
  • MIT

ocaml-torch

PyTorch 的 OCaml 绑定。
  • 388
  • Apache License 2.0

effects-examples

说明多核 OCaml 中代数效应的使用的示例。
  • 364
  • ISC

karamel

KaRaMeL 是一个用于将低级 F* 程序提取为可读 C 代码的工具。
  • 360
  • Apache License 2.0

incr_dom

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

lambdasoup

在 OCaml 中使用 CSS 进行功能性 HTML 抓取和重写。
  • 355
  • MIT