您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. phase4:阶段4-AS4客户端和服务器,用于集成到现有系统中。内置对Peppol和CEF eDelivery的特定支持-源码

  2. 阶段4-AS4客户端和服务器 一个用于发送和接收AS4消息的库。根据Apache 2许可获得许可! 它由以下子项目组成: phase4-lib-用于AS4处理,发送和接收的基本数据结构 phase4-profile-cef-用于CEF / eSENS的AS4配置文件以及PMode和相应的验证 phase4-profile-entsog-ENTSOG的AS4配置文件以及PMode和相应的验证(自v0.14.0起) phase4-profile-peppol-Peppol的AS4配置文件以及PM
  3. 所属分类:其它

    • 发布日期:2021-03-22
    • 文件大小:18874368
    • 提供者:weixin_42105169
  1. homebrew-smlsharp:与SML#编译器相关的自制程序公式-源码

  2. 自制smlsharp SML#的Homebrew公式及其必需的库。 包含以下软件包。 smlsharp 大量线程 安装 点按此存储库以进行Homebrew安装。 $ brew tap smlsharp/smlsharp 然后,您可以通过一行安装SML#: $ brew install smlsharp 贡献 在GitHub上提交问题并提出请求。
  3. 所属分类:其它

    • 发布日期:2021-03-20
    • 文件大小:5120
    • 提供者:weixin_42131890
  1. smlsharp.github.io:SML#项目网站-源码

  2. SML#项目网站
  3. 所属分类:其它

    • 发布日期:2021-03-17
    • 文件大小:47104
    • 提供者:weixin_42123296
  1. SML-源码

  2. SML
  3. 所属分类:其它

    • 发布日期:2021-03-15
    • 文件大小:16384
    • 提供者:weixin_42123296
  1. seqmod:完全实现F-ing模块,并具有后续演算的功能-源码

  2. seqmod 该存储库展示了F-ing模块的完整实现[Rossberg,Russo&Dreyer 2014]。 “满”是指: 将模块打包为一流核心价值的工具, (小说)抽象安全的应用函子,以及 价值和结构共享。 在此实现中,核心语言是极化系统L的直觉变体[Herbelin 2008; [Munch-Maccagnoni 2009],这是对后续演算LK的计算解释,假装具有Hindley-Milner类型规程的按名称调用的lambda演算。 通过使用极化的顺序演算,可以将热切的模块语言和惰性
  3. 所属分类:其它

    • 发布日期:2021-03-12
    • 文件大小:189440
    • 提供者:weixin_42162216
  1. SmlOS:一个微型的操作系统-源码

  2. Sml微型操作系统 此系统运行于x86平台 #### [背景介绍]写这个小型系统最初是因为一个学长的启发,而Sml的取名标题单词Small-微型的意思,希望能借写一个小型系统了解系统可行的工作原理。 #### [开发环境] 系统:Windows 8 编译工具:gcc&nasm 系统主要是由C和汇编语言实现的,在其他Windows系统上并没有测试,但是应该可以通过。当然经过适当转换,完全可以编译在linux下。 #### [主要功能] 1.对屏幕显示的控制 2.提供窗口化图形界面,可自由提前
  3. 所属分类:其它

    • 发布日期:2021-03-11
    • 文件大小:2097152
    • 提供者:weixin_42114645
  1. Sum-Of-Multiples-SML:LeaveNhA解决标准ML轨道中的倍数之和的方法-源码

  2. 倍数之和 给定一个数字,找到特定数字的所有唯一倍数的总和,直至但不包括该数字。 如果我们列出所有低于20的自然数,它们是3或5的倍数,则得到3、5、6、9、10、12、15和18。 这些倍数的总和是78。 在PolyML中加载您的锻炼实施 $ poly --use {exercise}.sml 或者: $ poly > use "{exercise}.sml"; 注意:您必须替换{exercise}。 运行测试 $ poly -q --use test.sml 反馈,问题,拉取请求
  3. 所属分类:其它

    • 发布日期:2021-03-09
    • 文件大小:4096
    • 提供者:weixin_42109732
  1. dm-problems-源码

  2. dm问题 SML的DM问题
  3. 所属分类:其它

    • 发布日期:2021-03-09
    • 文件大小:4194304
    • 提供者:weixin_42102713
  1. csc330-test-cases:我们旨在彻底测试我们的任务:rocket:-源码

  2. CSC330测试用例 作业3 如何使用它 将“ /assign3/main.sml替换为“ Assignment 3”文件夹03_assign/src/main.sml 。 作业2 如何使用它? 将“ /assign2/main.sml替换为“ Assignment 2”文件夹02_assign/src/main.sml 。
  3. 所属分类:其它

    • 发布日期:2021-02-28
    • 文件大小:10240
    • 提供者:weixin_42131443
  1. TouchDecoder:WIP-基于boost :: sml状态机的电容式触摸屏解码器(单,长,双,单长)-源码

  2. 基于boost :: sml状态机的电容式触摸屏的触摸解码器 状态:进行中-仍处于早期测试阶段: 在WSL2上测试状态机代码而无超时 拒绝低于最小时间差的触摸/释放事件,以帮助消除由于线路上的噪音而引起的误报 实现短按 实施长按 实现短-短(双击)触摸 实现长短接触 拒绝:实施莫尔斯电码 在ESP32上测试解码器 待定 警告:我仍然是C ++的新手,因此请谨慎使用:您必须保持工作... 谢谢 Kris Jusiak用于boost :: sml库(并要求了解更多有关现代C ++
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:2097152
    • 提供者:weixin_42131618
  1. OpenSML:使用Node.js的SML(智能消息语言)实现-源码

  2. OpenSML的 使用Node.js 4.x +实现的智能消息语言(v。1.0.3) !!! 这不是完整的测试版本。 错误的输入可能会挂断或损坏您的系统,请自行承担风险!!! 安装 $ npm install open-sml --save 用法 发展 OpenSML$ npm install OpenSML$ grunt build OpenSML$ grunt test 工具 待办事项 使用Mocha编写更多的单元测试 JsDoc 用法示例 与Mocha进行集成测试 验证方式 变更日志
  3. 所属分类:其它

    • 发布日期:2021-02-18
    • 文件大小:130048
    • 提供者:weixin_42137539
  1. 调查报告-源码

  2. 调查报告 论文清单是- IJIRT147862_PAPER(1).pdf-鸢尾花种监督学习的性能评估 摘要-机器学习是计算机科学的一个领域,它提供了无需编程即可进行学习的能力,并且程序可以明确地提供程序。 监督机器学习(SML)是一种对算法的搜索,这些算法从外部提供的实例中推理出一般的假设,然后对未来的情况进行预测。 分类和回归是一种监督学习,其中的响应是分类的,即其值是有限的离散和连续集。 为了简化分类问题,使用了scikit学习工具。 本文着重于使用scikit工具通过机器学习进行IRIS
  3. 所属分类:其它

    • 发布日期:2021-02-15
    • 文件大小:488448
    • 提供者:weixin_42153691
  1. pysml:Python中的简单ML-源码

  2. 简单ML Python中某些ML算法的简单实现。 用法 >> > import pysml as sml >> > import numpy as np >> > X = np . array ([[ 1. , 2. ], [ 1. , 4. ], [ 1. , 0. ], ... [ 10. , 2. ], [ 10. , 4. ], [ 10. , 0. ]]) >> > kmeans =
  3. 所属分类:其它

    • 发布日期:2021-02-15
    • 文件大小:4096
    • 提供者:weixin_42132354
  1. sml-typescript-project-源码

  2. SML 简单标记语言 轻松快捷地键入(触摸键入) 最少数量的特殊字符 基于行 100%可靠的编码和解码 人性化和多语言支持 发展 设置 首先安装所有需要的依赖项。 npm install 发展 启动dev脚本。 文件监视程序将通过任何更改自动构建您的项目。 npm run dev 另外,您也可以不使用文件监视程序来构建项目。 npm run build
  3. 所属分类:其它

    • 发布日期:2021-02-15
    • 文件大小:32768
    • 提供者:weixin_42102713
  1. coursera-programming-languages:Dan Grossman的Coursera编程语言课程代码-源码

  2. Coursera:编程语言 该存储库托管完成的代码。 本课程使用A部分的SML,B部分的Racket和C部分的Ruby来研究编程语言,以通过这三种完全不同的语言来展示编程语言的功能和设计。 该课程涵盖了广泛的内容,包括递归,模式匹配,解释器,流和混合。 可能最有趣的代码是用Racket编写的课程定义的MUPL语言的插入器,该语言在 。 证明书
  3. 所属分类:其它

    • 发布日期:2021-02-13
    • 文件大小:1048576
    • 提供者:weixin_42175971
  1. cpncourse:有色Petri网和CPN工具课程-源码

  2. 有色陪替氏网和CPN工具课程 可以从此处下载CPN工具: CPN书的主页可以在以下位置找到: : 阅读和准备 CPN模块基于以下列出的书籍章节和论文: 《彩色Petri网》一书的第1章和第2章: : CPN论文可通过以下: : 在有色Petri网的两个模块中,我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术问题,请访问或联系讲师。 模块I-建模和CPN工具 第一个模块着重于彩色Petri网(CPN)建模语
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:26214400
    • 提供者:weixin_42164931
  1. GPXSee:GPS日志文件查看器和分析器,支持GPX,TCX,KML,FIT,IGC,NMEA,SLF,SML,LOC,GPI,GeoJSON和OziExplorer文件-源码

  2. GPXSee GPXSee是基于Qt的GPS日志文件查看器和分析器,支持所有常见的GPS日志文件格式。 产品特点 打开GPX,TCX,FIT,KML,NMEA,IGC,CUP,SIGMA SLF,Suunto SML,LOC,GeoJSON,OziExplorer(PLT,RTE,WPT),Garmin GPI&CSV和带有地理标记的JPEG文件。 用户可定义的在线地图(OpenStreetMap / Google磁贴,WMTS,WMS,TMS,QuadTiles)。 离线地图(MBTil
  3. 所属分类:其它

    • 发布日期:2021-02-07
    • 文件大小:7340032
    • 提供者:weixin_42165018
  1. latex-sml:在大学里的所有课程的大学学院-源码

  2. latex-sml:在大学里的所有课程的大学学院
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:985088
    • 提供者:weixin_42131633
  1. golib:转到库[不推荐使用]-源码

  2. 潮汐去图书馆 描述 Tideland Go库包含用于不同目的的大量有用的Google Go软件包。 注意: cells软件包已迁移到的自己的存储库中。 注意: web软件包现已弃用。 它已被迁移并扩展到存储库。 我希望你喜欢他们。 ;) 版 版本4.24.2 配套 审计 支持具有多种断言类型和功能的单元测试,以生成测试数据。 快取 实现Cacheable接口的类型的各个缓存。 馆藏 不同的其他收集类型,例如环形缓冲区,堆栈,树等。 失误 详细的错误值。 等等 读取和解析SML格式的配置,包
  3. 所属分类:其它

    • 发布日期:2021-02-02
    • 文件大小:216064
    • 提供者:weixin_42151305
  1. vim-better-sml:喜欢在Vim中编写SML-源码

  2. vim-better-sml:喜欢在Vim中编写SML
  3. 所属分类:其它

    • 发布日期:2021-02-02
    • 文件大小:1048576
    • 提供者:weixin_42168341
« 12 »