★
pyre-check 是用 OCaml 编写的安全工具，面向安全研究与防护，主打高性能。
Performant type-checking for python.
bap 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 2.3k star、287 fork，主要语言为 OCaml，项目始于 2014 年，采用 MIT 许可。最近状态：近半年有提交。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。BinaryAnalysisPlatform/bap 是一个以 OCaml 为主的开源项目，目前累计 2.3k star、287 fork，近半年有提交。主要方向：arm、bap、binary-analysis、disassembler、dynamic-analysis、emulator。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。armbapbinary-analysisdisassemblerdynamic-analysisemulatorinstruction-semanticsliftermipsocamlpowerpcprogram-analysis
README
正在加载…相关项目
★
mina 是用 OCaml 编写的区块链项目，面向链上应用开发，主打注重安全。
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
★
irmin 是用 OCaml 编写的数据库工具，用于数据存储与查询，主打可伸缩。
Irmin is a distributed database that follows the same design principles as Git
★
dune 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
A composable build system for OCaml.
★
dream 是用 OCaml 编写的开发框架，用于搭建服务端与接口。
Tidy, feature-complete Web framework
★
merlin 是用 OCaml 编写的编辑器工具，用于代码与文本编辑。
Context sensitive completion for OCaml in Vim and Emacs