没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它type-checking-calculator

type-checking-calculator

共8个文件

md：3个

clj：3个

license：1个

Clojure

需积分: 5 0 下载量 27 浏览量 2021-03-29 00:48:30 上传评论收藏 11KB ZIP 举报

温馨提示

类型检查计算器我试图创建一个非常基本的表达式解释器以了解有关类型检查的更多信息。

资源推荐

资源详情

资源评论

论文研究-Model-checking of Linear-Time Properties in possibilistic Kripke structure.pdf

线性时间性质在可能的Kripke结构中的模型检测，李丽君，李永明，首先,定义了可能的Kripke结构系统及可能性测度,并简单的介绍了如何使用线性时序逻辑(LTL)来描述线性时间属性.接下来又分别对安全性能�

threejs-impact-checking.7z

java页面小游戏，无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊

threejs-impact-checking_html+css_javascript_guidewdj_ThreeJS_

基于tree.js的html5自动检测小程序。

Fact-Checking-Survey-main-源码.rar

Fact-Checking-Survey-main-源码.rar

keywords-checking-system-master.tar.gz

keywords-checking-system-master.tar.gz

PyPI 官网下载 | grpcio-health-checking-1.20.0rc3.tar.gz

资源来自pypi官网。资源全名：grpcio-health-checking-1.20.0rc3.tar.gz

No package 'orocos-bfl' found

在使用新的ros导航包的时候，会提示-- Checking for module 'orocos-bfl' -- No package 'orocos-bfl' found CMake Error at /usr/share/cmake-3.5/Modules/FindPkgConfig.cmake:367 (message): A required package...

evaluation-methods-for-image-quality-checking.rar_evaluation

the uation techniques for an enhanced image

Model Checking

4星 · 用户满意度95%

-Model Checking-Model

self_send-and-checking-since-8251.rar_self

基于8251的微机上机实验自发送自检查汇编程序

Bayes-model-checking

Bayes-model-checking

rtplan-checking:自动化DICOM计划检查

自动化计划检查Extract and evaluate data from DICOM RT-PLAN files. 原始存储库： : 自述文件，最好在上查看目录项目背景该项目由澳大利亚辐射防护和核安全局负责。目的是创建一个程序，该程序可以通过“通过/...

Fact-Checking-Survey:COLING 2020论文“可解释的自动事实检查”存储库

title = " Explainable Automated Fact-Checking: A Survey " , author = " Kotonya, Neema and Toni, Francesca " , booktitle = " Proceedings of the 28th International Conference on Computational ...

Python库 | grpcio-health-checking-1.0.3.tar.gz

资源分类：Python库所属语言：Python 资源全名：grpcio-health-checking-1.0.3.tar.gz 资源来源：官方安装方法：https://lanzao.blog.csdn.net/article/details/101784059

uk-modulus-checking:使用VocaLink模数检查根据排序代码验证英国银行帐号

npm install uk-modulus-checking --save 用法 new UkModulusChecking({ accountNumber, sortCode }).isValid() 此方法验证给定的accountNumber和sortCode是否表示有效的Faster Payment Account 。争论 account...

Qt 5实现串口调试助手（源工程文件、0积分下载）

5星 · 资源好评率100%

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

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

5星 · 资源好评率100%

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义

光伏-储能并网系统仿真.rar

5星 · 资源好评率100%

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！

XCP协议的规范文档

5星 · 资源好评率100%

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义

GD32替换STM32注意事项.pdf

NPPJSONViewer.zip

4星 · 用户满意度95%

NodePad++ JSON格式化插件

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

3星 · 编辑精心推荐

vs2015.iso包安装，不然会卡在安装包丢失或损坏

收起资源包目录

type-checking-calculator-main.zip （8个子文件）

type-checking-calculator-main

project.clj 379B

test

p6_type_checking_calculator

core_test.clj 206B

LICENSE 14KB

src

p6_type_checking_calculator

core.clj 10KB

doc

intro.md 125B

.gitignore 137B

CHANGELOG.md 808B

README.md 120B

共 8 条

评论收藏

内容反馈

资源评论

资源反馈

评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~

起名什么的最烦啦

粉丝: 15
资源: 4639

上传资源快速赚钱

我的内容管理展开

我的资源快来上传第一个资源

我的收益

登录查看自己的收益

我的积分登录查看自己的积分

我的C币登录后查看C币余额

我的收藏

我的下载

下载帮助

前往需求广场，查看用户热搜

type-checking-calculator

temtem-type-calculator:一个Web应用程序，用于查看不同Temtem类型之间的类型匹配

python-type-checking:Python类型检查指南的源文件-python source file

template-type-checking：角度模板类型检查演示

flake8-type-checking:Flake8插件，用于管理类型检查导入和转发引用

type-checking-in-javascript

论文研究-Model-checking of Linear-Time Properties in possibilistic Kripke structure.pdf

threejs-impact-checking.7z

threejs-impact-checking_html+css_javascript_guidewdj_ThreeJS_

Fact-Checking-Survey-main-源码.rar

keywords-checking-system-master.tar.gz

PyPI 官网下载 | grpcio-health-checking-1.20.0rc3.tar.gz

No package &#039;orocos-bfl&#039; found

evaluation-methods-for-image-quality-checking.rar_evaluation

Model Checking

self_send-and-checking-since-8251.rar_self

Bayes-model-checking

rtplan-checking:自动化DICOM计划检查

Fact-Checking-Survey:COLING 2020论文“可解释的自动事实检查”存储库

Python库 | grpcio-health-checking-1.0.3.tar.gz

uk-modulus-checking:使用VocaLink模数检查根据排序代码验证英国银行帐号

Qt 5实现串口调试助手 （源工程文件、0积分下载）

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

AutoSAR标准协议4.2.2

光伏-储能并网系统仿真.rar

XCP协议的规范文档

GD32替换STM32注意事项.pdf

NPPJSONViewer.zip

CANoe通过CAPL脚本实现自动测试

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

最新资源

No package 'orocos-bfl' found

Qt 5实现串口调试助手（源工程文件、0积分下载）