如前所述， 我们收到了补助金来自 艾尔弗·斯隆基金支持希望帮助增加软件遗产档案覆盖范围的专家的贡献。之后 第一个子格兰特授予 小屋实验室，一个 第二个授予 斯特凡·斯珀林，第三名授予八达通,今天我们很高兴地宣布第四个分等级被授予 OCaml专业，这将有助于通过将软件遗产与OCaml生态系统集成来增加软件遗产的覆盖范围。
这个OCaml编程语言以其强大的类型系统而闻名，该系统由非常高效的实现提供支持。随着OCaml课程在计算机科学教育中的兴起，它在工业界，特别是在金融、安保和安全领域，以及在学术界的应用，不断获得吸引力。它用于开发许多备受瞩目的研究项目，从获奖开始Coq证明助理，到Astree静态分析仪，的Alt-Ergo SMT解算器和SynDEX CAD软件。它也用于工业生产软件例如脸书Messenger和特佐斯区块链。 Opam是既定的包管理器对于OCaml，集成了高级依赖解决技术，以及官方Opam存储库包含3000多个包裹。
OCaml专业是一家成立于2011年的公司，其使命是帮助工业用户受益于最先进的编程语言，如OCaml和Rust，以及在正式方法方面的广泛专业知识。它有助于Opam包管理器并积极维护。OCaml专业将为Opam存储库开发列表器，并为摄取相应源代码开发任何缺少的加载程序。它还将集成在Opam支持中，以便在原始位置找不到源代码的情况下，利用SWHID标识符.
你也可以为软件遗产做出贡献 使命! 如果你想参与进来 填写这个简单的表格开始这个过程！
