ocaml-camlp4-devel-4.05.0-0.4.gitfc12d8c7.el7.x86_64.rpm

OpenRISC 1200 CPU mor1kx OpenRISC 1200 实现到 HardCaml 的端口。 STATUS大多数是代码移植，但完全未经测试。 计划是单独生成子模块，然后将它们插入 mor1kx rtl 并根据 verilog 模型检查所有输出。 修复并重复，直到一切正常。 执照 原始代码包含在Open-Hardware-Description-License 中。 该端口也包含在该许可证中。 模块 mor1kx-defines.v -> Defines mor1kx_utils.vh -> Utils (etc) mor1kx-sprs.v -> Spr mor1kx_branch_prediction.v ->

ocaml-cohttp-test Mirage 的 OCaml-cohttp 的 HTTP 性能和分析工具。 这是幻影的 测试 针对坏服务器测试客户端 正如问题所讨论的，我们需要针对坏服务器测试 cohttp 客户端。 是一个用 Python 编写的程序，它提供了可运行的服务器故障场景示例。 在接下来的测试中，cohttp 客户端将尝试处理由“hamms”运行的每个坏服务器。 各端口模式的详细说明请参考“hamms”。 测试结果 端口 5500 ： 预期行为：程序引发异常，指示“连接被拒绝” Uncaught exception: (Unix.Unix_error "Connection refused" connect "") 端口 5501 ： 预期行为：客户端什么也没收到 端口 5502 ： 预期行为：程序引发异常，指示“连接已关闭” Uncaught exc

Rtime — OCaml React 的时间线 发布 %%VERSION%% 警告此模块已弃用且不再维护。 Rtime 是一个 OCaml 模块，实现了时间线。 它沿时间线管理时间戳事件、延迟事件和延迟信号。 客户通过提供绝对的时间概念来选择具体的时间线。 以适当的速度运行时间线由客户决定。 Rtime 由单个模块组成并依赖于 。 它是在 BSD3 许可下分发的。 主页： : 联系人：Daniel Bünzli 安装 Rtime 可以与opam一起安装： opam install rtime 如果您不使用opam请查阅文件以获取构建说明。 文档 ocamldoc从接口自动生成文档和 API 参考。 可以查询，发行版的doc目录下有生成的版本。 示例程序 如果您使用opam安装了 Rtime，示例程序位于opam

Syck YAML接受者的OCaml包装器。

cwe_checker 注意：最近，我们将默认分析后端从BAP更改为较新的Ghidra后端。 该开关会在命令行界面和docker映像界面中引起一些更改。 请确保相应地更新脚本！ 或者，稳定版本仍使用旧界面。 什么是cwe_checker？ cwe_checker是一整套检查，以检测常见的错误类，例如使用危险函数和简单的整数溢出。 这些错误类正式称为（CWE）。 它的主要目的是帮助分析人员快速找到易受攻击的代码路径。 它的主要重点是Linux和Unix操作系统上常见的ELF二进制文件。 cwe_checker使用将二进制文件分解为一个常见的中间表示形式，并在此IR上执行自己的分析。 因此，

ocaml-4.02.3-x86_64-mingw64-installer4-opam.exe ocaml-4.02.3 windows 64位/32位 安装包 Objective Caml（OCaml）是Caml编程语言的主要实现 截至2017.11.14 ocaml最新稳定版本 md5: 0402518b131f32e52cbf1b8457e54730 大小：75.2 MB

TSD 透明同步数据流的Ocaml实现 要求 迷彩4.05.0 + oasis2opam软件包 为了运行ReactiveML和JaneStreet增量库的基准，请确保已安装以下内容。 ReactiveML： ： Inc：opam中的incremental软件包 仄洛斯： 安装 要固定并安装TSD软件包，请运行make install并按照说明进行操作。 要卸载，请运行make uninstall 汇编 运行ocamlfind ocamlc -package tsd,tsd.ppx -o $TARGET -linkpkg $SOURCE来编译您喜欢的程序。 范例与基准 要构建所有示例，只需运行make examples 。 编译的可执行文件可以在examples / build / $ TARGET / $ TARGET中找到。 要执行基准，只需运行make benchmar

信天翁：信天翁：使用Solo5编排和管理MirageOS unikernel

重新打字 为最终解决ReasonML / OCaml打字稿互操作而进行的有目的的尝试。 为什么 我正在为Material UI维护一包自动生成的绑定。 随着原始程序包的复杂性增加以及希望涵盖所有内容的工具开始崩溃，生成这些绑定变得越来越令人沮丧。 这导致每个循环中丢失越来越多的类型，并通过调整类型提取过程来花费宝贵的时间来恢复它们。 现在，生成器使用一个将typescript转换成json-schema ，然后将其分析并解析为原因代码。 我相信这些工具想要覆盖太多的用例才能有效。 因此，我着手简化此过程，并可能提供一种有效的方法来概括reason和typescript之间的类型映射。 颇有野心。 走着瞧。 理念 re-typescript实现了它自己的词法分析器/解析器，专门用于分析typescript声明文件。 它故意不想要进入通过跟踪推断类型*.ts文件。 它只会尽最大可能提取干净定义的类型。 我还不确定如何处理无法解析的代码。 我相信最好的近似方法是最好的，它将通过仅注入某种抽象类型来优雅地结束遍历，而不是使类型失效或完全省略。 re-typescript首先从令牌化过程中