ocaml

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

核心 OCaml 系统：编译器、运行时系统和基础库

MirageOS 是一个构建单内核的库操作系统

二进制分析平台

Mina 是一种具有恒定大小区块链的加密货币协议，在保持去中心化和安全性的同时提升可扩展性

可组合的OCaml构建系统

面向Vim和Emacs的OCaml上下文敏感补全

opam 是一款基于源码的包管理器，支持同时安装多个编译器、灵活的包约束以及适合 Git 的开发工作流。

Terrateam 是开源的 GitOps 基础设施编排工具，通过与 GitHub 集成，可基于拉取请求自动执行 Terraform、OpenTofu、CDKTF、Terragrunt 及 Pulumi 的工作流程。

从OCaml到JavaScript的编译器

面向 Rust 程序的验证工具链

OCaml代码的自动格式化工具

为C、C++、Go、Rust、Wasm和Zig提供无缝的缺陷检测

C语言静态分析框架

用于测试多核OCaml的PBT测试套件和库