注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. grub4dos-V0.4.6a-2017-02-04更新

  2. 更新说明： 2017-02-04（yaya） Ls command: Empty Folder returns false. 2016-12-08（yaya） 修正lz4、vhd不显示解压缩进度指示。增加lzma解压缩进度指示。 2016-11-09（不点） 0x8205 bit 5 = 1: 使checkkey闲置循环停止指令。 2016-04-13（yaya） 支持动画菜单 setmenu --graphic-entry=类型=菜单行数=菜单列数=图形宽(像素)=图形高(像素)=菜单行间距

  3. 所属分类：DOS

    • 发布日期：2017-03-05
    • 文件大小：675840
    • 提供者：qq_37767541

  1. simp-源码

  2. 简单 一个新的Flutter项目。 入门 该项目是Flutter应用程序的起点。 如果这是您的第一个Flutter项目，那么有一些资源可以帮助您入门： 要获得Flutter入门方面的帮助，请查看我们的，其中提供了教程，示例，有关移动开发的指南以及完整的API参考。

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：5242880
    • 提供者：weixin_42136826

  1. simp-源码

  2. simp

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：4194304
    • 提供者：weixin_42116701

  1. ListView组件应用演示代码

  2. Android源码：ListView组件应用演示代码，layout的xml文件名需要全部小写。 ActivityList1: 1.初步介绍ListView这个组件。 2.初步介绍ArrayAdapter。 # simple_list_item_single_choice # simple_list_item_1 # simple_list_item_multiple_choice 3.上边的相关介绍。 ActivityList2：(有错误，没有调试成功，回头再看) 1.介绍

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：51200
    • 提供者：weixin_38737176

  1. Go-Simp:一个简单的Discord机器人，可提供Vtuber Fanart和Livestream通知-源码

  2. Vtuber DiscordBot 介绍 一个简单的VTuber机器人，用于服务通知Fanart（Twitter，Bilibili）和Livestream（Youtube，Bilibili） 有关设置，请参见 简易设定 首先为此机器人创建一个通道，例如holosimps_channel然后执行vtbot>setup 如果您想ping某些角色，则可以执行vtbot>tag roles hololive 重要规则独立小组有严格的规定，如果没有人/角色标记为live / fanart

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：5242880
    • 提供者：weixin_42137723

  1. SIMP:简单直观的音乐播放器-源码

  2. SIMP:简单直观的音乐播放器

  3. 所属分类：其它

    • 发布日期：2021-03-07
    • 文件大小：400384
    • 提供者：weixin_42112685

  1. Crestron-Community-Resources:社区生成的与Crestron系统一起使用的资源的集合-源码

  2. 快思聪社区资源 社区免费提供的与Crestron系统一起使用的资源的集合 觉得这里应该有东西吗？ 使用相关信息创建，我们将为您添加！ 控制系统 框架/模板 开源Crestron框架，可以将其配置为能够运行多种系统设计的独立程序 图书馆 有助于从SIMP过渡到SIMPL＃Pro的帮助程序库列表 例子 参考GitIgnore文件以简化向快思聪控制系统的Git过渡 影片 前端 框架/模板 使用Svelte框架，Rollup和Eruda的Crestron CH-5应用程序的项目模板和构建管道 用于

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：3072
    • 提供者：weixin_42173205

  1. simp-boltdir:具有任务计划的Boltdir用于本地同步simp仓库-源码

  2. simp-boltdir Boltdir带有用于在本地同步Simp仓库的任务/计划 使用方法： 安装2.8.0或更高版本的。 安装excon gem： /opt/puppetlabs/bolt/bin/gem install excon --user-install 在您想要所有SIMP模块的目录中，运行git clone https://github.com/silug/simp-boltdir.git Boltdir 如果要避免GitHub API限制问题，请将环境变量TOKEN设

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：19456
    • 提供者：weixin_42132359

  1. SIMP-abstract-machine：抽象机，用于SIMP（简单命令式语言）的形式语义-源码

  2. SIMP抽象机 在2020/21年间，我在伦敦国王学院（King's College London）担任第二年模块5CCS2PLD编程语言范例的助教。 PLD处理形式语义和编程语言验证。 为了探究语义，模块教科书（《 ）定义了一种教育语言SIMP（简单命令式语言），并为其提供了抽象语法和抽象机器语义。 该项目是SIMP抽象机的Java实现，用于向学生传授SIMP程序的形式化推理。 抽象语法 以下是SIMP抽象语法的简要概述。 该语法在命令包，整数包和布尔包中表示为类和枚举。 抽象机 抽象机解

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：129024
    • 提供者：weixin_42168745

  1. gRPC研究成果-源码

  2. gRPC研究成果 gRPC 快速开始 我们提供了一个docker环境来执行不同的应用程序。 要启动Docker容器，请执行以下命令， $ ./bin/grpc --app= [--build] [--root] 在哪里， app = simp | ftp | user_lookup | ... 注意：执行./bin/grpc -h以了解有关标志的更多信息。 这将以交互模式执行docker容器，并且在应用程序目录中包含一个卷。 docker容器运行后，您将可以运行以下示例！ 简单的例子

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：171008
    • 提供者：weixin_42099755

  1. pupmod-simp-network：SIMP网络人偶模块-源码

  2. 目录 总览 此模块可帮助用户管理其系统上的网络接口。 有关API文档，请参见 。 这是一个SIMP模块 该模块是的组件 如果发现任何问题，请通过提交。 请阅读我们的[贡献指南]（ ）。 模块说明 该模块的目标是在支持的操作系统上配置网络接口。 建立 简化网络会影响什么 该模块影响在兼容RHEL的操作系统上创建和管理各种类型的网络设备。 用法 基本用法 设置全局网络参数 include network::global 管理网络接口 network::eth { 'eth0': macad

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：59392
    • 提供者：weixin_42160398

  1. simp-core：基本SIMP构建存储库-源码

  2. 这是超级模块 最新版本是 您可以在“找到所有完整的SIMP变更日志 支持的版本 入门 请查看此版本的以获取有关使用SIMP系统的完整详细信息。 相关连结

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：228352
    • 提供者：weixin_42137028

  1. SIMP-源码

  2. SIMP

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：11264
    • 提供者：weixin_42128393

  1. Simp-O-Matic：Simp'O'Matic Discord Bot-源码

  2. 辛普奥马蒂克 帮忙 当前， HELP.md页面中的某些功能尚未实现。 请我的朋友，如果您有时间，请以我们的方式发送一些请求。 您的 ， ， ， 和 。 为什么客观上是优越的 让我们将其与类似的不和谐机器人 Ub3r bot是3年前添加到服务器的，而Simp'o'Matic只是3天前添加的，但是它已经被消息数量所取代！ 平均来说，它几乎每分钟都会使用一次，而ub3r bot只每隔几个小时使用一次，因此对于增加用户活动非常有用 丹尼 帮助/机器人命令 请参阅文件（请记住，该文件已经过格式化，

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：3145728
    • 提供者：weixin_42172972

  1. Route_Configuration：NCTU课程“计算机网络入门2018”中的实验室-源码

  2. 路由配置 该存储库是NCTU课程“计算机网络入门2018”的实验室。 抽象 在本实验中，我们将使用Ryu SDN框架编写一个Python程序，以构建一个简单的软件定义的网络，并比较两个转发规则之间的差异。 目标 了解如何使用Ryu SDN框架构建简单的软件定义网络 了解如何在每个OpenFlow交换机中添加转发规则 总览 我们将为您提供一个包含示例网络拓扑的Python代码（ SimpleTopo.py ）和另一个包含Ryu控制器的Python代码（ SimpleController.py ）。

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：4194304
    • 提供者：weixin_42117224

  1. git-delete-merged-branches：用于删除合并的Git分支的命令行工具-源码

  2. git删除合并的分支 方便的命令行工具可帮助您保持存储库的清洁。 安装 # pip install git-delete-merged-branches 例 # git-delete-merged-branches Do you want to run "git remote update --prune" for 1 remote(s): - origin Update? [y/N] y Do you want to run "git pull --ff-only" for 1 branc

  3. 所属分类：其它

    • 发布日期：2021-02-02
    • 文件大小：38912
    • 提供者：weixin_42164685

  1. mathport:从Lean3导出数据构建Lean4 .olean文件的工具-源码

  2. mathport是用于从lean3 .tlean文件构建lean4 .olean文件的工具。 状态 保留了很多信息，包括（内核）术语，属性（例如，可简化的，类，实例，simp），mixfix表示法，导出声明等。一些定义和定理可以很容易地重述，但是由于尚未解决的两个系统之间的众多差异，大多数定义和定理仍然非常繁琐。 实验中 最新版本包含适用于所有mathlib的lean4 .olean文件。提取后，它将填充目录Lib4/Lean3Lib ， Lib4/Lean3Pkg和Lib4/Mathlib 。

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：36864
    • 提供者：weixin_42149153