由Tomek Czajka用OCaml编写的Chess程序。
Hal Daumé在Ocaml中编写了几个机器学习库，包括决策树、逻辑回归和SVM。所有这些库都是接近生产质量的代码。
Microsoft Research中使用F#编写的Chess Game Analysis程序。
OCaml 的一个不太为人所知的特性是高阶模块系统。 ocamlgraph 库是这种语言特性的一个很好的例子。
你也可以阅读我的 HLVM 项目的 OCaml 源代码。我写的《OCaml for Scientists》（2005 年）的源代码在 这里 免费提供，但不是开源的。然而，它已经好几年没有更新了，现在可能有更好的选择！
MLDonkey 是一个早期的文件共享客户端，曾经拥有数十万用户。它是一个重度并发的开源应用程序，完全由 OCaml 编写，代码量约为 171,000 行。
Unison 文件同步器是另一个完全由 OCaml 编写的开源实用程序，代码量约为 24,000 行。这也是第一个使用异步 IO 的 ML 派生语言编写的流行应用程序，因此现在所有使用异步编程的 F# 代码实质上都源自它。
FFTW 是用于快速傅里叶变换 (FFT) 的代码生成器，本质上是一个非常专业的优化编译器，已被广泛采用并获得商业许可，例如在 MATLAB 的核心中。它主要由 OCaml 编写，其中还有相当多的 C 代码，总共约有 14,000 行 OCaml 代码。
你可能也想阅读Hevea和ANT的源代码，因为这些是OCaml的经典应用领域，同时也是具有数千用户的生产级别应用程序。
我无法想到任何值得推荐的开源F#代码。现在很少有这样的代码，并且质量普遍很差。其中大部分读起来像Haskell。 ;-)
看看这些关于Bookworm问题的博客系列文章，它们轻松有趣，并且很好地展示了F#的多范式特性。最后一篇看起来最“函数式”。
你已经拥有了ocaml标准库的源代码，它是用o'caml编写的。
我猜你已经看过了，但是caml hump也是一个很好的资源： 这里
