没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
chemic:实验性Lisp编译器
chemic:实验性Lisp编译器
共20个文件
ml:7个
mli:6个
dune:2个
OCaml
需积分: 5
0 下载量
61 浏览量
2021-03-07
07:19:17
上传
评论
收藏
14KB
ZIP
举报
温馨提示
立即下载
chemic:实验性Lisp编译器
资源推荐
资源详情
资源评论
java采购供应平台源码-clue:一个实验性的C到Javascript/Lua/Perl5/Lisp/Java编译器
浏览:179
java采购供应平台源码
Collection of Matlab codes to solve typical CRE (Chemic
浏览:201
Collection of Matlab codes to solve typical CRE (Chemical Reaction Engineering) problems
GMW 16607-2011 Polypropylene - Glass Fiber Reinforced, Chemic
浏览:190
5星 · 资源好评率100%
GMW 16607-2011 Polypropylene - Glass Fiber Reinforced, Chemically Coupled, Heat.pdf
keil arm编译链 v5 版本 error: unknown register name vfpcc in asm的解决方法
浏览:47
5星 · 资源好评率100%
keil arm编译链 v5 版本 error: unknown register name vfpcc in asm 务必安装在keil /arm 的目录下。
matlab磁场代码-MRI_field_contributions:用于执行磁共振水脂成像中场图贡献的估计和解调的MATLAB代码
浏览:64
@article{diefenbach18_improv_chemic_shift_encod_based, author = {Maximilian N. Diefenbach and Stefan Ruschke and Holger Eggers and Jakob Meineke and Ernst J. Rummeny and Dimitrios C. Karampinos}, ...
各种文件后缀含义
浏览:21
iSO:镜像文件 RAR:压缩包 ...zip:压缩包 exe:可执行文件 pdf:pdf文档 rm:视频文件 avi:视频文件 tmp:临时文件 xls:excel工作表 mdf:虚拟光驱镜像文件 ...文档文件 txt(所有文字处理软件或编辑器都可打开)、doc...
氟化氘化学激光器尾气有毒成分检测
浏览:148
应用高斯烟气扩散正态方程模式,建立了实验条件下的气体扩散理论模型,计算不同风速下的尾气浓度,根据污染物的浓度时空分布,选定采样点。制定了大气中微量氟含量的采样测定方法,在激光器不同出光条件下采集不同...
HF激光器腔内气动介质有序扰动的数值模拟
浏览:91
通过对化学激光器腔内介质不均匀性的分析指出,HF连续波化学激光器(CWCL)腔内的气动介质的有序不均匀扰动将是影响输出光束质量的主要因素之一.利用建立的激光器腔内二维折射率分布模型对基频和泛频HF CWCL有无激射...
化学激光器燃烧室中的爆轰问题分析
浏览:33
为评估化学激光器燃烧室中爆轰的影响,分析了氟化氘(DF)化学激光器在某次出光实验中燃烧室产生的爆轰问题,采用时空守恒元与求解元(CE/SE)方法对该爆轰过程进行了数值模拟。结果表明,燃烧室中爆轰的产生与传播...
100 Hz重复频率脉冲中红外HF化学激光器
浏览:114
基于自动紫外预电离的放电引发方式,研制出紧凑型闭环高重复频率非链式HF化学激光器。该激光器采用非对称电极结构,放电腔室的尺寸为12 mm×17 mm×460 mm。为了实现重复频率运行过程中放电区气体的快速置换,循环...
高损伤阈值CaF
浏览:87
采用ΖnS/YbF3五层膜系结构镀制了CaF2窗口在3.4~4.2 μm波长范围的红外宽带增透膜,光谱测试结果 表明平均透过率在99%以上,该膜层能承受200 kW的激光功率输出。
MySQL 8.0参考手册 Including MySQL NDB Cluster 8.0
浏览:198
MySQL 8.0参考手册 Including MySQL NDB Cluster 8.0
GX Works2绘制SFC(顺序功能图)步骤
浏览:15
5星 · 资源好评率100%
GX Works2绘制SFC(顺序功能图)步骤
三菱GXWorks2 程序仿真功能
浏览:96
三菱GXWorks2 程序仿真功能
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:174
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:163
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
浏览:78
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:153
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
XCP协议的规范文档
浏览:59
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
GD32替换STM32注意事项.pdf
浏览:110
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览:150
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览:82
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:176
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
蓝牙BLE协议中文版.pdf
浏览:17
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
BaiduOCR.zip
浏览:14
5星 · 资源好评率100%
按键精灵百度文字识别 自定义库 使用说明参考:https://blog.csdn.net/sinat_22215253/article/details/118272746
AD20官方中文教程.pdf
浏览:2
官方提供的入门教材,其中重点讲解了一个简易电路板的开发过程,从元器件的选择,元器件的布置,到最后的产品输出,比较完整的一个实例,适合初次使用软件的开发人员使用。
Tangent免费.rar
浏览:116
OriginLab也可以安装Tangent 插件 免费下载 请点赞
电路分析基础第二版PDF电子书免费下载
浏览:28
5星 · 资源好评率100%
《21世纪高等院校信息与通信工程规划教材:电路分析基础(第2版)》以电路理论的经典内容为核心,以提高学生的电路理论水平和分析解决问题的能力为出发点,以培养“厚基础、宽口径、会设计、可操作、能发展”,具有创新精神和实践能力人才为目的。《21世纪高等院校信息与通信工程规划教材:电路分析基础(第2版)》较全面地阐述了电路的基本理论,并适当引入电路新技术。内容遵从先易后难,由浅入深,循序渐进的原则。主要包
七参数坐标转换工具(可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换)
浏览:151
七参数坐标转换工具(可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换),也可以自定义参数转换
收起资源包目录
chemic-main.zip
(20个子文件)
chemic-main
runtime
src
chemic.c
4KB
include
chemic.h
2KB
dune
105B
src
cli.mli
23B
dune
25B
expr.ml
9KB
utils.mli
711B
writer.ml
649B
parse.mli
124B
cli.ml
449B
writer.mli
155B
codegen.ml
7KB
utils.ml
811B
codegen.mli
44B
expr.mli
2KB
parse.ml
4KB
dune-project
16B
.gitignore
16B
chemic_cli.opam
0B
main.ml
28B
共 20 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
起飞页
粉丝: 22
资源:
4545
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
chromestandalonesetup离线安装程序
labview 序列编辑样例
FateGentle.php
Linksys4400N固件
ingress-nginx.tar离线安装包,适用k8s版本 1.25.x~1.28.x
2024年星火生态大会-工业互联网标识的数字化智能化主题(脱敏)PPT汇总(28份).zip
libmodbus modbus test
C#判断用户输入的年份是否为闰年
写入三菱plcD位寄存器的值
确保你的操作系统符合Docker的要求 Docker支持的操作系统包括Ubuntu、Debian、CentOS、Fedora和m
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功