typed-racket:打字球拍 （1513个子文件） 
.gitignore 172B LICENSE 461B LICENSE 461B LICENSE 461B LICENSE 461B LICENSE 461B LICENSE 461B LICENSE 461B 0001-prefab-structs.md 14KB 0002-typechecking-struct-proper-values.md 5KB 0000-ignore-type-info.md 3KB README.md 3KB 0000-template.md 2KB README.md 1KB issue_template.md 163B README 2KB typecheck-tests.rkt 228KB base-env.rkt 149KB gui-types.rkt 130KB base-env-numeric.rkt 103KB class-tests.rkt 80KB check-class-unit.rkt 78KB framework-types.rkt 72KB parse-type.rkt 68KB type-rep.rkt 67KB type-contract.rkt 58KB subtype.rkt 49KB subtype-tests.rkt 43KB infer-unit.rkt 42KB prims.rkt 40KB parse-type-tests.rkt 38KB contract-tests.rkt 36KB printer.rkt 35KB tc-lambda-unit.rkt 34KB framework.rkt 34KB check-unit-unit.rkt 34KB tc-structs.rkt 32KB ineq.rkt 31KB tc-toplevel.rkt 30KB prims-contract.rkt 25KB metrics.rkt 23KB float-complex.rkt 23KB random-bits.rkt 23KB rep-utils.rkt 21KB typed-units-tests.rkt 21KB unit-prims.rkt 20KB prefab-tests.rkt 20KB tc-expr-unit.rkt 20KB kw-types.rkt 19KB init-envs.rkt 19KB type-printer-tests.rkt 19KB infer-timing.rkt 18KB new-metrics.rkt 18KB tc-app-helper.rkt 18KB for.rkt 18KB base-special-env.rkt 18KB for-vector.rkt 18KB class-prims.rkt 17KB tc-let-unit.rkt 16KB prefab.rkt 16KB pr241-variation-5.rkt 16KB prop-ops.rkt 16KB static-contract-optimizer-tests.rkt 16KB base-env-indexing-abs.rkt 15KB float.rkt 15KB base.rkt 15KB tc-funapp.rkt 15KB utils.rkt 14KB optimize.rkt 14KB classes.rkt 14KB annotate-classes.rkt 13KB infer-tests.rkt 13KB tr-random-testing.rkt 13KB little-schemer.rkt 13KB object-rep.rkt 13KB prefab-c.rkt 13KB unboxed-let.rkt 12KB abbrev.rkt 12KB base-abbrev.rkt 12KB any-wrap.rkt 12KB constraints.rkt 12KB tc-envops.rkt 12KB prims-struct.rkt 11KB pict.rkt 11KB tc-utils.rkt 11KB instantiate.rkt 11KB main.rkt 11KB http.rkt 11KB type-alias-helper.rkt 10KB tc-app-hetero.rkt 10KB intersect.rkt 10KB leftist-heap.rkt 10KB inequalities.rkt 10KB float-complex-float-cs-skip.rkt 10KB tc-literal.rkt 10KB def-binding.rkt 10KB metafunction-tests.rkt 9KB opaque-object.rkt 9KB core-rep.rkt 9KB fixnum.rkt 9KB共 1513 条
- 1
- 2
- 3
- 4
- 5
- 6
- 16
资源评论
简内特
- 粉丝: 38
- 资源: 4713
最新资源
- 昆仑通态MCGS与3台欧姆龙E5*C温控器通讯程序功能：通过昆仑通态触摸屏，实现对3台欧姆龙E5CC温控器 设定温度值，读取实际温度，设定报警值，设定报警类型，报警上下限功能 反应灵敏，通讯稳定可靠
- 大电流电动工具，电动螺丝刀，电锯批量方案，12V，30A FOC控制
- 三菱FX3G两轴标准程序，XZ两轴，包含轴点动，回零，相对与绝对定位，只要弄明白这个程序，就可以非常了解整个项目的程序如何去编写，从哪里开始下手，
- 昆仑通态MCGS与2台台达VFD-M变频器通讯程序实现昆仑通态触摸屏与2台台达VFD-M变频器通讯，程序稳定可靠 器件：昆仑通态TPC7062KD触摸屏，2台台达VFD-M变频器，附送接线说明和设置说
- MATLAB代码：考虑安全约束及热备用的电力系统机组组合研究 关键词：机组组合 直流潮流 优化调度 参考文档：店主自编文档，模型数据清晰明了 仿真平台：MATLAB+CPLEX gurobi平台
- c#上位案例，动态添加控件 1、这是个上位机案例，自己写来通过电脑监控kuka机器人信号的工具； 3、软件界面上可以动态添加要监控的信号，可以强制输出信号 4、有c#源代码，可以作为上位机与机器人通
- 三菱FX3U与力士乐VFC-x610变频器通讯程序三菱FX3U与力士乐VFC-x610变频器通讯案例程序，有注释 并附送程序，有接线方式，设置 器件：三菱FX3U的PLC，力士乐VFCx610变频
- 台达DVP PLC与3台力士乐VFC-x610变频器通讯程序 程序带注释，并附送昆仑通态程序，有接线方式，设置 器件：台达DVP ES系列的PLC，3台力士乐VFC-x610系列变频器，昆仑通态 功
- FPGA开发：实现数码管+1602双通道秒表（联系后留邮）按键切秒表模式，所用开发板DE2-115，代码可移植，内含FPGA驱动1602代码，代码有详细注释
- 汇川PLC AM403-CPU1608TN，2020产品基于CODESYS平台二次订制软件，支持16轴ethercat总线，自带以太网 USB CANOPEN 2路485，16高速输入8高速输出，功能
- 电力电子、电机驱动、数字滤波器matlab simulink仿真模型实现及相关算法的C代码实现 配置C2000 DSP ADC DAC PWM定时器 中断等模块，提供simulink与DSP的联合仿
- labview.通用OCR识别技术
- FoobarCon_v0.9.91.0.apk
- 华为HarmonyOS应用开发者高级认证，官方专业证书
- 华为HarmonyOS应用开发者高级认证，官方专业证书
- 51单片机四层电梯控制器 基于51单片机的四层电梯控制系统 包括源代码和proteus仿真 系统硬件由51单片机最小系统、蜂鸣器电路、指示灯电路、内部按键电路、外部按键电路、步进电机、ULN2003
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
