麻雀 Sparrow是最新的静态分析器，旨在验证C源代码中不存在致命错误。 Sparrow是基于“抽象解释”框架进行设计的，并且在设计上进行了合理的分析。 Sparrow采用了许多成熟的静态分析技术，以实现可伸缩性，精度和用户便利性。 这是Sparrow的学术版本，不同于。 建置状态 Linux MAC OSX 麻雀依赖 要构建麻雀，您需要 > = 4.04.0 > = 1.2.2 > = 2.3.1 > = 1.7.3 > = 1.8.7 > = 0.9.10 > = 1.2.3 > = 0.1.3 > = 113.33 > = 4.1 （可选）您需要满足以下先决条件才能使用机器学习功能 Python > = 2.7 Scikit学习> = 0.18 使用OPAM安装Sparrow 安装Sparrow的最简单方法是使用OPAM 。 克隆源代码后，运

安装opam ocamlfind命令的安装包

OCaml 中的模拟退火实现_OCaml_代码_下载

oCam oCam oCam 免費開源的錄頻軟件 免费开源的录屏软件

ocmal-3.10.2 一种快速、简洁、而强大的应用程序开发语言

最近由于项目需要，需要用OCaml语言去实现一个循环队列去实现一些功能。翻遍了Ocaml的官方网站和标准库，发现OCaml只提供普通的队列，于是自己基于Array模块设计了循环队列RoundRobinQueue的模块。能够实现Queue中的基本功能

Digestif-C和OCaml中的哈希算法 Digestif是一个实现哈希的工具箱： MD5 SHA1 SHA2 SHA3 惠而浦 BLAKE2B BLAKE2S 瑞培MD160 Digestif使用了一种有关链接的技巧，并允许最终用户选择他要使用的实现。 我们提供2种实现： 用digestif.c实现C OCaml实现与digestif.ocaml 两者都经过了充分的测试。 但是，OCaml实现比C实现慢。 注意：链接技巧要求digestif.c或digestif.ocaml是您的第一个依赖项。 主页： ： 联系人：Romain Calascibetta 原料药 对于每个哈希，我们实现相同的API，该API参照透明。 然后，在这些方法的顶部，我们用GADT反映函数（例如digesti或h

奥卡姆·霍夫曼 霍夫曼压缩在纯Ocaml中的实现

ocaml-data-structures：用OCaml编写的一些数据结构和算法

OCaml：在OCaml中实现的算法