★
caramel 是用 OCaml 编写的工程工具，用于代码分析、构建与打包，主打可伸缩、类型安全。
:candy: a functional language for building type-safe, scalable, and maintainable applications
aeneas 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
目前累计 1k star、127 fork，主要语言为 OCaml，项目始于 2021 年，采用 Apache-2.0 许可。最近状态：近一个月有提交。适合：关注构建效率的工程师。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。AeneasVerif/aeneas 是一个以 OCaml 为主的开源项目，目前累计 1k star、127 fork，近 30 天内有提交。主要方向：编译器、coq、deductive-reasoning、formal-methods、formal-verification、fstar。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。编译器coqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlprogram-verificationproofsRust
README
正在加载…相关项目
★
js_of_ocaml 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
Compiler from OCaml to Javascript.
★
SATySFi 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
A statically-typed, functional typesetting system
★
stategraph 是用 OCaml 编写的运维工具，用于部署、编排与监控。
Terraform without the state file bottleneck
★
opam 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打可扩展。
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly d…
★
ocaml 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
The core OCaml system: compilers, runtime system, base libraries