OCaml FFI Generator-开源

开源软件
需积分: 5 0 下载量 24 浏览量 2021-05-14 15:25:33 上传 评论 收藏 157KB GZ 举报
preview
共84个文件
ml：16个
makefile：9个
root：9个
资源详情
资源评论
评论 收藏
weixin_42166626
  • 粉丝: 20
  • 资源: 4530
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

gz

Haskell FFI Binding Modules Generator-开源

通过解析C头文件自动生成Haskell FFI声明的工具。
zip

ocaml-tic-tac-toe:用 OCaml 编写的无与伦比的井字游戏

Ocaml-井字游戏用 Ocaml 编写的无与伦比的井字游戏设置为了运行包含的安装脚本，请确保您的计算机上安装了自制软件。 可以在找到安装说明。下载项目 git clone ...
rpm

ocaml-compiler-libs-4.05.0-6.el7.x86_64.rpm

ocaml-compiler-libs-4.05.0-6.el7.x86_64.rpm
gz

ocaml-libsvm-开源

OCaml-libsvm 为 OCaml 语言提供 libsvm 库的绑定。
gz

OCaml Global Tags-开源

适用于GNU Global的OCaml插件，使用适用于OCaml 3.10及更高版本的CamlP4。 提供ocaml_tags（可为ml和mli文件创建标签），以及ogtags脚本，该脚本用ocaml_tags插件包装gtags调用。
rpm

ocaml-cppo-1.6.4-4.el8.x86_64.rpm

官方离线安装包，亲测可用
application/x-rpm

ocaml-cil-1.3.6

This software can translate gcc to c99.
zip

Atom-language-opa-ocaml,OPA-OcAML.zip

Atom-language-opa-ocaml.zip,Opa OCAML-based syntax language support in Atomatom的opa经典语法突出显示。,atom是一个用web技术构建的开源文本编辑器。
zip

Ocaml Curl Library-开源

Ocaml Curl 库 (Ocurl) 是编程语言 Ocaml 到网络库 libcurl 的接口库。 目前 Ocurl 需要 libcurl 7.9.8 或更高版本（使用旧版本可能会产生编译错误）。
gz

OCaml libplot interface-开源

GNU plotutils包中的libplot绘图库的OCaml接口。
bz2

oCaml Ultimate Lisp-开源

Objective Caml Ultimate Lisp是在OCaml中实现的Lisp方言。 它执行许多功能，例如惰性求值，静态和动态链接，部分功能应用，尾递归...
bz2

OCaml Rope Library-开源

该项目移至OCamlForge，网址为https://forge.ocamlcore.org/projects/rope/。该库为OCaml实现了绳索（它足以替换字符串）。
zip

OCaml Game System-开源

MLGame 是基于 SDL (OCamlSDL) 构建的 OCaml 的 2d 游戏库。 它具有精灵、碰撞、视频上下文、高级网络、控制台、输入绑定、小部件和视频原语。 当前包包括一些简单的示例游戏，一个
gz

Ocaml Mathematical Framework-开源

OMF提供了一个开放源代码OCAML库，该库将形式和数值计算结合在一个工具中。 该库提供了表达式的通用数据表示形式，使用户可以轻松地从一个世界切换到另一个世界。
zip

ODT: OCaml Development Tools-开源

ODT（OCaml开发工具）项目旨在像JDT（Java开发工具）eclipse插件一样。 它为OCaml应用程序开发提供了IDE功能。 有关更多信息，请参见http://ocamldt.free.fr（教程，安装说明等）。
pdf

ocaml-4.00-refman.pdf

This part of the manual is a tutorial introduction to the OCaml language. A good familiarity with programming in a conventional languages (say, Pascal or C) is assumed, but no prior exposure to ...
rpm

ocaml-runtime-4.05.0-6.el7.x86_64.rpm

官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
rpm

llvm-ocaml-doc-3.4.2-8.el7.noarch.rpm

离线安装包，亲测可用
rpm

ocaml-srpm-macros-5-2.el7.noarch.rpm

官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
rpm

llvm-ocaml-devel-3.4.2-8.el7.x86_64.rpm

离线安装包，亲测可用
zip

PaddleOCR:基于PaddlePaddle的超赞多语言OCR工具包-开源

PaddleOCR提供了卓越，多语言和实用的光学字符识别（OCR）工具，可以帮助用户训练更好的模型并将其应用于实践。 受PaddlePaddle的启发，PaddleOCR是一款超轻量级的OCR系统，具有多语言识别，数字识别，垂直文本识别以及长文本识别。 它具有PPOCR系列的高质量预训练模型，其中包括：超轻型ppocr_mobile系列模型，通用ppocr_server系列模型和超轻型压缩ppoc
star 3星 · 编辑精心推荐
zip

A2L Build for MCD - AutoExtractGui:从ELF为汽车MCD工具（例如INCA）构建A2L-开源

1. A2L Builder：AutoExtractGui该工具可帮助测量和校准人员（例如INCA用户）轻松创建自己的A2L。 -请描述“内存段”：这是必填部分。 -（可选）您可以描述变量的公式/最小/最大值/单位/...。 -（可选）您可以描述XCP，CCP，CAN BPS等通信规范。-按下“建立新的A2L”按钮，为给定的ELF文件创建新的A2L。 作为参考，您可能会看到此工具如何与给定的示例文
star 4星 · 用户满意度95%
zip

QtJSBSim:JSBSim的分布式飞行模拟和前端-开源

这个Qt应用程序可以将控件数据发送到独立的JSBSim实例，并且可以从JSBSim读取和显示数据。 您可以将QtJSBSim视为模拟器，而将JSBSim视为飞行动力学模型后端。 对于窗外的视觉效果，您可以选择使用铯离子驱动的查看器或FlightGear。
gz

Spectral Python:用于高光谱图像处理的python模块-开源

Spectral Python（SPy）是一个python软件包，用于读取，查看，操作和分类高光谱图像（HSI）数据。 SPy包括用于聚类，降维，监督分类等功能。
zip

libonvif:为 Windows、Linux、Mac 实现客户端 ONVIF 的库-开源

LIBONVIF 将您的程序连接到 IP 摄像机 libonvif 是一个开源项目，它实现客户端 ONVIF 以与兼容的 IP 摄像机通信。 在 Windows、Linux、Mac、mingw 上从源代码轻松编译。 libonvif 附带了一个示例程序，该程序在本地网络上实现发现以查找兼容的摄像机并返回用于流式传输的 RTSP 字符串。 在海康威视、大华、安讯士、Foscam、Trendnet、A
zip

Hysteresis:在 Matlab 中实现的 Preisach 型滞后模型。-开源

Preisach 函数被认为是两个特殊的一维函数的乘积，它允许对 Everett 积分进行分析评估。 派生的表达式包含在静态和动态磁滞模型中，这些模型足够快，可以合并到电磁软件中。 如果您发现这些代码有用，请引用以下论文：[1] Zs。 Szabó, I. Tugyi, Gy。 Kádár, J. Füzi，标量 Preisach 模型的识别程序，Physica B，卷。 343，第 142-14
zip

PDMWeb-开源

基于Web的PDM / PLM解决方案。 包括的模块：文档管理，生命周期管理，工作流系统，变更管理，产品配置系统，产品编号系统，CAx集成，CAx文件查看器系统
zip

Statistical Process Control (SPC)-开源

该开放式软件包旨在解决频率分布，运行图，X图，R图，X条和S图，R条和R图，X和MR图，标准偏差，控制极限，过程能力，p和np型图表，c和u型图表。
rar

SCADA system-开源

基于Scilab的SCADA（监控和数据采集）系统，包括串行，OPC，Modbus，Mysql，TCP / IP接口以及PID仿真，模糊控制和控制等。