没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
bear:对OCaml stdlib的基本补充
bear:对OCaml stdlib的基本补充
共18个文件
ml:5个
mldylib:1个
descr:1个
OCaml
需积分: 5
0 下载量
183 浏览量
2021-05-11
16:28:06
上传
评论
收藏
48KB
ZIP
举报
温馨提示
立即下载
OCaml的stdlib之上的裸机必备 实验工作正在进行中
资源推荐
资源详情
资源评论
learn-ocaml:学习ocaML语言
浏览:168
Learn OCaml Author: Luo Zijun Date: 2014-06-04 Category: book,doc,OCaml,language Copyright: Open Contents OCaml语言简介 OCaml语言是一门多范式(指令式,函数式,面向对象)类型的语言,由作者 INRIA 发行于...
mkocaml::hammer:生成OCaml项目的工具
浏览:142
mkocaml::hammer:生成OCaml项目的工具
tuareg:Emacs OCaml模式
浏览:131
Tuareg:Emacs OCaml模式 此档案库包含的文件可帮助编辑代码,突出显示代码的重要部分,运行OCaml (也称为toplevel )以及在Emacs中运行OCaml调试器。 内容 README.md —此文件。 HISTORY -与以前版本的差异。 ...
OCaml:在OCaml中实现的算法
浏览:176
OCaml:在OCaml中实现的算法
ocaml-data-structures:用OCaml编写的一些数据结构和算法
浏览:173
ocaml-data-structures:用OCaml编写的一些数据结构和算法
ocaml-protoc:用于OCaml的Protobuf编译器
浏览:175
ocaml-protoc:用于OCaml的Protobuf编译器
机器人:使用OCaml编写的(Coq开发团队)机器人
浏览:37
机器人:使用OCaml编写的(Coq开发团队)机器人
ocaml-git:纯OCaml Git格式和协议
浏览:100
ocaml-git:纯OCaml Git格式和协议
nanocaml:用于OCaml的Nanopass
浏览:70
nanocaml:用于OCaml的Nanopass
pgx:纯OCaml PostgreSQL客户端库
浏览:111
pgx:纯OCaml PostgreSQL客户端库
UnlimitedRegisterMachine:使用OCaml实现无限注册机
浏览:103
UnlimitedRegisterMachine:使用OCaml实现无限注册机
ocaml-tls:纯OCaml中的TLS
浏览:69
ocaml-tls:纯OCaml中的TLS
httpaf:用OCaml编写的高性能,内存高效且可扩展的Web服务器
浏览:124
httpaf:用OCaml编写的高性能,内存高效且可扩展的Web服务器
genspio:在OCaml中生成外壳短语
浏览:42
genspio:在OCaml中生成外壳短语
teash:在OCaml中用于外壳的TEA
浏览:31
teash:在OCaml中用于外壳的TEA
ocaml-language-server:用于OCaml和Reason的语言服务器
浏览:125
概述OCaml语言服务器是用于OCaml,Reason和相关工具(包括对BuckleScript的支持)的(LSP)的实现。 OCaml语言服务器通过为现有的OCaml和Reason工具提供标准化的JSON-RPC接口(通过LSP)来工作。 这使得在不重复工作...
冬季:WebAssembly OCaml参考解释程序的Haskell端口
浏览:50
冬季:WebAssembly OCaml参考解释程序的Haskell端口
ocaml_inline_option:在 OCaml 中对选项类型的优化表示进行实验
浏览:20
ocaml_inline_option:在 OCaml 中对选项的优化表示进行实验 在 OCaml 中,可选值用'a option ,这是一个正常的总和类型,定义为: type 'a option = None | Some of 'a 可选值的具体运行时表示遵循和类型的正常...
DPLLSAT:用OCaml编写的简单DPLL SAT求解器,用于证明CNF子句形式的命题公式不令人满意
浏览:177
DPLLSAT:用OCaml编写的简单DPLL SAT求解器,用于证明CNF子句形式的命题公式不令人满意
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:137
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:84
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:37
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:201
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
GD32替换STM32注意事项.pdf
浏览:155
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览:15
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
NPPJSONViewer.zip
浏览:54
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览:143
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:54
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:165
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
收起资源包目录
bear-master.zip
(18个子文件)
bear-master
.gitignore
39B
configure
367B
_tags
525B
myocamlbuild.ml
17KB
opam
opam
630B
descr
303B
findlib
5B
Makefile
994B
src
bear_pervasives.ml
2KB
META
311B
bear.mllib
117B
bear_option.ml
397B
bear.ml
53B
bear.mldylib
117B
setup.ml
170KB
LICENSE
1KB
_oasis
838B
README.md
113B
共 18 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
婉君喜欢DIY
粉丝: 13
资源:
4617
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
哈工大计算机系统大作业
化妆品商城小程序前端源码
js从地址提取省市县区等.xlsm
计算机网络自顶向下方法第七版课后习题解答
史上最全架构师技术图谱
机器人实现取料上料动作
VBA读、写入金山在线文档.xlsm
Java架构师技术图谱
基于OpenCV+QT的掌静脉识别系统C++源码+GUI界面+文档说明(高分项目)
基于python单通道脑电信号的自动睡眠分期研究源码+模型+数据集+项目说明.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功