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

搜索资源列表

  1. social-proof-section:我的挑战是使用Flexbox和Grid构建社交证明部分-源码

  2. 前端导师-社会证明部分 欢迎！ :waving_hand: 感谢您检查此前端编码挑战。 挑战可帮助您构建现实的项目，从而提高您的编码技能。 为了应对这一挑战，您需要对HTML和CSS有基本的了解。 挑战 您面临的挑战是建立此社交证明部分，并使其看起来与设计尽可能接近。 您可以使用任何喜欢的工具来帮助您完成挑战。因此，如果您有想要练习的东西，请随时尝试。 您的用户应该能够： 根据设备的屏幕尺寸查看该部分的最佳布局 需要挑战方面的支持吗？并在#help频道中提问。 在哪里找到所有东西 您的任务是将

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：207kb
    • 提供者：weixin_42131618

  1. social-proof-section:社会证明部分-源码

  2. 社会证明部分 社会证明部分

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：16kb
    • 提供者：weixin_42142062

  1. holbert:专为教育设计的图形化交互式证明助手-源码

  2. 霍尔伯特 Holbert是基于高阶逻辑和自然推论的交互式定理证明者或证明助手。 此外，霍尔伯特是图形化的。 它使用传统的推理规则表示法和证明树来提供证明和规则。 它旨在供学生使用，而无需使用定理证明者的任何专业知识。 它不包含证明脚本（传统意义上的脚本），战术或其他此类复杂功能。 您可以尝试现场演示来试用Holbert（该版本可能不是GitHub上可用的最新版本）。 这个Holbert实例详细说明了其设计背后的原理以及我的预期目标。 像伊莎贝尔（Isabelle）一样，霍尔伯特（Holber

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：10mb
    • 提供者：weixin_42099755

  1. CORE:建设性的证明助手-源码

  2. CORE:建设性的证明助手

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：15kb
    • 提供者：weixin_42100032

  1. kombucha:系统T的定理证明者-源码

  2. kombucha:系统T的定理证明者

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：16kb
    • 提供者：weixin_42137022

  1. app_XG:PWA证明X-源码

  2. app_XG:PWA证明X

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：640kb
    • 提供者：weixin_42105570

  1. aspnet-core-dummy-two-factor-authentication:用于两因素验证的概念证明网站-源码

  2. ASPNET CORE（.Net5.x）两要素身份验证概念验证支架 用于两个因素验证的概念证明网站（2个挑战ala“猜测密码”）。 该站点支持通过一个简单的两阶段密码询问来登录： 第一个屏幕是登录页面，其中只有一个简单的密码字段和一个提交（“登录”）按钮。 它还在可见的密码字段之前包含一个隐藏的输入字段，其中包含ASCII格式的密码。 当用户使用正确的密码提交时，他将被重定向到第二个屏幕。 第二个屏幕具有（再次）密码输入字段和一个提交（“登录”）按钮。 它还具有特制的图像，其中包含嵌入图像

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：119kb
    • 提供者：weixin_42136365

  1. ayane:定理证明者-源码

  2. ane 定理证明者

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：97kb
    • 提供者：weixin_42113380

  1. CVE-2021-21972：适用于vCenter CVE-2021-21972的概念证明漏洞-源码

  2. CVE-2021-21972 vCenter CVE-2021-21972的概念证明利用 研究来源： : : 已在Windows和Unix vCenter VCSA目标上进行了测试。 用法 要良性地检查目标是否易受攻击，只需提供--target参数即可。 要利用此漏洞，请提供--file，-path和--operating-system标志。 将--file参数中提供的文件写入--path参数中指定的位置。 Windows目标： 通过将Webshel​​l cmdjsp.jsp上传

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：124kb
    • 提供者：weixin_42172204

  1. 社会证明科长-源码

  2. 前端导师-社会证明部分 欢迎！ :waving_hand: 感谢您检查此前端编码挑战。 挑战可让您提高现实工作流程中的技能。 为了应对这一挑战，您需要对HTML和CSS有基本的了解。 挑战 您面临的挑战是建立此社交证明部分，并使其看起来与设计尽可能接近。 您可以使用任何喜欢的工具来帮助您完成挑战。 因此，如果您有想要练习的东西，请随时尝试。 您的用户应该能够： 根据设备的屏幕尺寸查看该部分的最佳布局 需要挑战方面的支持吗？ 并在#help频道中提问。 在哪里找到所有东西 您的任务是

  3. 所属分类：其它

    • 发布日期：2021-02-27
    • 文件大小：206kb
    • 提供者：weixin_42131013

  1. chainpoint-proof-json-schema：一个Javascript NPM软件包，用于使用正式的JSON模式（草案04）验证器来验证Chainpoint v4证明。-源码

  2. 重要的 该软件包适用于Chainpont v4证明模式。 如果要从较早的Chainpoint V3网络（chainpoint-services）验证校对模式，请使用版本1.1.0。 该软件包无法验证证明中的哈希值对锚点（例如BTC，ETH）有效。 实际上，这个包不知道什么是哈希！ 它仅根据您的模式验证您提供给它的证明是格式正确的证明。 仅此而已。 Chainpoint Proof v4 JSON模式验证器 一个简单的npm软件包，用于针对JSON模式验证JSON格式的Chainpoint v

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：85kb
    • 提供者：weixin_42113380

  1. 社会证明部分-源码

  2. 前端导师-社会证明部分 欢迎！ :waving_hand: 感谢您检查此前端编码挑战。 挑战使您可以提高现实工作流程中的技能。 为了应对这一挑战，您需要对HTML和CSS有基本的了解。 挑战 您面临的挑战是建立此社交证明部分，并使其看起来与设计尽可能接近。 您可以使用任何喜欢的工具来帮助您完成挑战。 因此，如果您有想要练习的东西，请随时尝试。 您的用户应该能够： 根据设备的屏幕尺寸查看该部分的最佳布局 需要挑战方面的支持吗？ 并在#help频道中提问。 在哪里找到所有东西 您的任务

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：205kb
    • 提供者：weixin_42129300

  1. 18权威证明发展链-源码

  2. ZBank和区块链技术 区块链技术基本信息： 根据 “区块链是一个不断增长的记录列表，称为记录，这些记录通过利用加密技术相互连接。每个块均包含前一个块的加密哈希，时间戳和交换信息” 区块链技术可以： 通过可公开查看但无法轻松更改的共享系统安全地存储信息。 允许安全地交换合同，财产，现金等，而无需诸如银行或政府之类的集中系统。 允许100％透明，因为所有客户端都可以看到另一个客户端操作。 区块链系统： 工作证明： 工作量证明（PoW）是一种常规方法，通过该方法，可以在交易完成后创建新

  3. 所属分类：其它

  1. 社会证明部分-源码

  2. 社会证明部分

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：85kb
    • 提供者：weixin_42116734

  1. 受托人：[wip] LCF样式的信任内核，用于经过认证的ATP和对FOLHOL的证明检查-源码

  2. 受托人 LCF样式的信任内核，用于经过认证的ATP和FOL / HOL的证明检查。 当前或正在开发的功能的简要列表： src/core/kernel.ml具有术语和定理表示的核心API。 术语将De Bruijn索引用于绑定变量，经过哈希处理，并且多态性是半显式的（即，多态常数显式应用于类型，但类型量词仍是隐式的）。 用于元语言的小型LSP服务器，位于src/lsp/ src/opentheory/一个具有解析器和基于受托者的验证者的OpenTheory库

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：261kb
    • 提供者：weixin_42177768

  1. 社会证明科长-源码

  2. 社会证明科长

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：16kb
    • 提供者：weixin_42122878

  1. 社会证明部分-源码

  2. 社会证明部分

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：41kb
    • 提供者：weixin_42115003

  1. 大理石游戏：通过移动手机来改变重力。 把大理石拉到终点。 （概念游戏证明）-源码

  2. 大理石游戏：通过移动手机来改变重力。 把大理石拉到终点。 （概念游戏证明）

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：21kb
    • 提供者：weixin_42168230

  1. COVID证明生成器-源码

  2. Générateurd'attestations COVID 介绍 脚本PHP永久性证明证书COVID。 脚本和脚本的最佳实践和创作者。 安装 1-网上放置Placef l'ensemble des fichiers服务。 2-修饰符文件索引.php倒入对应的字母： 利格尼13：证明类型的证明（si aucun参数n'estpassé）。 （“ travail”，“ achats”，“ sante”，“ famille”，“障碍”，“ sport_animaux”，“ convocation

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：551kb
    • 提供者：weixin_42128537

  1. 权威证明发展链-源码

  2. 权威证明发展链 对于此任务，您将在一家小型银行担任新开发人员的角色。 您的任务（如果您选择接受）将是为您的组织建立一个testnet区块链。 为此，您将创建并提交四个可交付成果： 设置您的自定义测试网区块链。 发送测试交易。 创建一个存储库。 编写说明，说明如何在团队其他成员中使用链。 背景知识您刚刚在ZBank上找到了一份新工作，ZBank是一家小型创新银行，对探索区块链技术可以为他们及其客户带来的利益感兴趣。 您在公司的第一个项目是建立一个私人测试网，您和您的开发团队可以使用该测试

  3. 所属分类：其它

« 12 3 4 5 6 7 8 9 10 ... 50 »