OCaml是一种通用的工业级编程语言，强调表达性和安全性，它支持函数式、命令式和面向对象的风格。
Bartosz Milewski的《程序员的类别理论》非官方PDF和LaTeX来源
简单、快速&类型安全的代码，利用JavaScript&OCaml生态系统
用各种语言编写的很酷的开放源码项目。
:zap:原生的、高性能的、跨平台的桌面应用程序--用Reason构建的!
原生的、轻量级的模式化代码编辑器
为Python提供高性能的类型检查。
在Google Drive上的FUSE文件系统
OCaml的核心系统：编译器、运行时系统、基础库
Klipse是一个JavaScript插件，用于在科技博客中嵌入交互式代码片断。
一种面向证明的编程语言
在Reason中更快、更简单、更便携地实现jq
✨ 用Reason/OCaml构建本地UI的跨平台工具集
🗺 ReScript、Reason和OCaml的非官方的 "设计模式 "集合
Gcc用于termux与fortran scipy等...使用apt获得最新的更新，说明见README.txt
在浏览器中添加 "理由"。
用于ReScript的类型化风格的组件