★
irmin 是用 OCaml 编写的数据库工具，用于数据存储与查询，主打可伸缩。
Irmin is a distributed database that follows the same design principles as Git
moby / datakit
datakit
Connect processes into powerful data pipelines with a simple git-like filesystem interface
datakit 是用 OCaml 编写的数据库工具，用于数据存储与查询，主打易用、功能完整。
目前累计 1.1k star、155 fork，主要语言为 OCaml，项目始于 2016 年，采用 Apache-2.0 许可。最近状态：已有一段时间未更新。适合：后端与数据工程师。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。moby/datakit 是一个以 OCaml 为主的开源项目，目前累计 1.1k star、155 fork，较长时间未更新。主要方向：data-flow、数据库、datakit、Docker、filesystem-api、pipeline。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
caramel 是用 OCaml 编写的工程工具，用于代码分析、构建与打包，主打可伸缩、类型安全。
:candy: a functional language for building type-safe, scalable, and maintainable applications
★
★
js_of_ocaml 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
Compiler from OCaml to Javascript.
★
hardcaml 是用 OCaml 编写的代码库，提供可直接复用的能力。
Hardcaml is an OCaml library for designing hardware.
★
aeneas 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
A verification toolchain for Rust programs