OCaml 优质开源项目精选

一门类型严格的语言，编译为高效、可读的 JavaScript，并支持自动生成 TypeScript 类型。

一个 OCaml 库，用于构建输入变化时能高效增量更新的计算。

用 OCaml 编写的开源家谱软件，提供网页界面，可在本地或作为服务器运行家谱数据库。

基于 Intel Processor Trace 的 Linux 性能追踪工具，可记录进程的每一次函数调用并以时间线展示。

Unison 是一款跨平台文件同步工具，在两个目录副本之间双向同步修改，并标出冲突。

从 Pull Request 运行 Terraform 和 OpenTofu，并将状态以依赖图形式存入 PostgreSQL，替代状态文件。

一款静态分析工具，无需运行代码即可检测 Java、C、C++ 和 Objective-C 程序中的缺陷。

开源静态代码分析引擎，基于 Semgrep 分叉，用语义 grep 规则查找代码中的安全问题和模式。