没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
AGDA-STC
AGDA-STC
共2个文件
gitignore：1个
agda：1个
Agda
需积分: 5
0 下载量
180 浏览量
2021-02-26
11:00:21
上传
评论
收藏
2KB
ZIP
举报
温馨提示
立即下载
AGDA-STC
资源推荐
资源详情
资源评论
STC 单片机
浏览：30
这是介绍STC12系列单片机的资料， 供参考和学习STC 单片机的学习用。
STC开发工具
浏览：45
把STC单片机当成Intel的8052/87C52/87C54/87C58或Philips的P87C52/P87C54/P87C58编译， 头文件包含即可。新增特殊功能寄存器用sfr声明，新增特殊功能寄存器位用sbit声 明。
STC的头文件
浏览：136
有详细的中文注释 头文件 STC12C5A60S2系列双串口1T 8051单片机 头文件 STC12C5A60AD系列高速1T 8051单片机 头文件 STC12C5201AD系列高速1T 8051单片机 头文件 STC11F60XE高速总线系列1T 8051单片机 头文件 STC10F08XE高速总线系列1T 8051单片机 头文件 STC90C51RC/RD+系列单片机 头文件 STC12C
STC datasheet
浏览：20
5星 · 资源好评率100%
完全中文版，对开发STC芯片系列的开发有详实的举例说明，是一款值得收藏的开发手册。
STC对单片机
浏览：190
STC对单片机
Atom-agda-mode,阿加达.zip
浏览：12
Atom-agda-mode.zip,agda-mode on Atom原子上的agda模,atom是一个用web技术构建的开源文本编辑器。
agda-stdlib：Agda标准库
浏览：108
agda-stdlib：Agda标准库
agda-pkg：apkg-Agda的软件包管理器
浏览：109
Agda-pkg是用于管理库的简单工具，它具有其他功能，例如安装来自不同来源的库。 该工具完全不修改Agda ，它只是系统地管理.agda目录， .agda包含.agda/defaults和.agda/libraries文件，这些文件由Agda用于查找可用...
agda-kernel：Jupyter的实验性Agda内核
浏览：51
repo2docker https://github.com/lclem/agda-kernel 安装 pip install agda_kernel python -m agda_kernel.install 语法高亮 语法高亮是由单独完成的，但是不幸的是，它没有打包Agda模式。 可以在codemirror-agda/...
STC tracking
浏览：5
空间时间跟踪
STC单片机1
浏览：123
STC单片机1
STC.H头文件
浏览：45
5星 · 资源好评率100%
STC.H C语言头文件 单片机头文件 宏晶科技
STC下载工具
浏览：107
最新最好用的STC下载工具,可以直接调用头文件，配置波特率，带串口工具，功能相当强大，带自动检测CPU型号，
STC非安装版
浏览：179
用于单片机开发板程序烧写，非常的好用，有兴趣的可以下载
agda-metric-reals
浏览：107
agda-metric-reals 这一切都在进行中，但这是目录/计划/愿望： “上”实数，定义为正有理封闭上子集每个数字的表示方式都类似于上Dedekind切口这些形成一个半环和一个完整的晶格度量空间，其距离的值以较高的实数用...
agda-pkg:一个在 Agda 中模拟包的简单工具
浏览：19
agda-pkg 一个在 Agda 中模拟包的简单工具
agda-mode-vscode:VS Code上的agda模式
浏览：97
VS Code上的agda模式 反馈，问题和PR都欢迎！ 安装 确保已正确安装 （要在终端中进行检查，请键入agda并查看其是否在您的计算机上）。 打开一个Agda文件，您应该可以通过键入Cc Cl来加载它。 阿格达语言服务器 仍...
HoTT-UF-Agda-Lecture-Notes:关于使用Agda的数学的单价基础的讲义
浏览：93
Agda数学的单价基础简介新的。 Agda文件的模块化版本位于 ，名称为MGS*.lagda 。 生成讲义的资源可在以下位置获得 需要Agda 。 请查阅以帮助您为Midlands研究生院设置Agda和Emacs。 （literate） *.lagda文件用于...
agda模式：Atom上的agda模式
浏览：172
与Emacs不同， Atom的agda-mode并没有捆绑语法高亮显示，也没有在加载时动态高亮显示代码（尚未）。 突出显示代码： 安装language-agda ： 从编辑器中： Atom > Preferences... > Install ，搜索language-agda并...
LX1003(STC).c
浏览：157
LX1003(STC).c
STC DS18B20
浏览：124
STC单片机与DS18B20通讯，精度0.1度，稳定性高，已经量产代码。
STC mcuisp5.2
浏览：132
4星 · 用户满意度95%
STC第三方软件 5.2 版本主要改进： 2009-08-15 1、增加STC新出型号单片机，支持目前所有型号； 2、支持所有型号自动识别，解决原STCISP无法新旧序列识别的问题； 3、ISP协议与STCISP V4.80完全一样； 4、优化部分代码，解决一些小BUG； 5、使用新的STC.ocx控件，比以前ISP.ocx控件具有更高的智能化，利于网友再
STC89C51_STC_
浏览：137
单片机手册，辅助开发设计资料，工程师必备
STC 12c5a60s2
浏览：129
STC 12c5a60s2STC 12c5a60s2STC 12c5a60s2STC 12c5a60s2
mergesort:归并排序正确性证明
浏览：111
（相当）无痛依赖类型编程的案例：Agda 中完全认证的归并排序 Agda 中的合并排序正确性证明 我们在 Agda 中展示了一个经过完全认证的合并排序版本。 它的特点是：终止的句法保证（即不需要明确的终止证明），没有...
spacemacs-agda:spacemacs 的一个小 agda 层
浏览：64
它使用agda-mode可执行文件自动加载 Agda-mode。 确保它在您的$PATH 。 在 OSX 上，您必须通过添加到dotspacemacs/init函数来执行此操作，因为 OS X 的 emacs 会忽略您的$PATH 。 (defun dotspacemacs/init () (add...
agda-holes:带Kong的Agda编程
浏览：129
Holes是一个Agda库，使用反射使编写等式推理证明更加容易。 它可以变成这样的证明： *-distrib-+₁ : ∀ a b c → a * (b + c) ≡ a * b + a * c *-distrib-+₁ zero b c = refl *-distrib-+₁ (suc a) b c = b ...
agda-mode-st3:已弃用
浏览：65
用于 Sublime Text 3 的 Agda [已弃用，现在在 Atom 上工作] 因为他妈的 emacs 这就是为什么
agda-machines：Agda中的可组合状态机
浏览：11
Agda中的可组合状态机
收起资源包目录
agda-stc-main.zip
（2个子文件）
agda-stc-main
stc-playground.agda
4KB
.gitignore
17B
共 2 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
xrxiong
粉丝: 20
资源:
4728
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
1_135 5096 4155_20240523171627.amr
C++- QQ 项目实战-图片
在线考勤系统-后端API文档.zip
layuitable 回调函数基础介绍.zip
JavaScript回调函数面试题.zip
.net core 回调函数基础介绍.docx.zip
通过Anaconda配置pytorch环境.zip
通用重置样式-reset.scss
基于Ruby实现pagerank算法.zip
base.apk
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
