• Category Theory for Programmers:'Category Theory for Programmers' 非官方 PDF 和 LaTeX 源-开源

    这是 Bartosz Milewski 撰写的“程序员类别理论”的非官方 PDF 版本,从他的博文系列(经许可)转换而来。 程序员类别理论于 2019 年 8 月 12 日发布。基于发布标签 v1.3.0。 有关自打印以来的更改和修复,请参阅 errata-1.3.0。 Scala 版现在有平装本。 发布。 基于发布标签 v1.3.0。 有关自打印以来的更改和修复,请参阅 errata-scala。 构建本书的最佳方式是使用 Nix 包管理器。 安装Nix后,在项目根目录输入nix-shell。 这将下载构建本书所需的所有依赖项和工具(TeXLive、所需的字体和包、用于语法高亮显示的 Pygments 主题等)。

    2021-08-08
    13
  • PHP-JWT:JWT 的 PHP 包-开源

    一个简单的库,用于在 PHP 中编码和解码 JSON Web 令牌 (JWT),符合 RFC 7519。使用 composer 管理您的依赖项并下载 PHP-JWT。 或者,如果您的 php < 7.2 或没有安装 libsodium,请从 Composer 安装 paragonie/sodium_compat 包。 如果您的私钥包含 \n 字符,请确保将其用双引号 "" 而不是单引号 '' 括起来,以便正确解释转义字符。 您必须为您的应用程序指定支持的算法。 当签名和验证服务器之间存在时钟偏差时间时,您可以添加一个回旋余地。 建议这个余地不要大于几分钟。

    2021-08-07
    50
  • Прошивки Redmi 9-开源

    固件,不仅适用于 Redmi 9 手机 聊天问题 - https://t.me/r9_rus

    2021-08-07
    11
  • Project-file.1:这是一个电子学习网站表格,我们可以在其中注册不同的课程-源码

    项目文件.1 这是一个电子学习网站表格,我们可以在其中注册不同的课程。

    2021-08-05
    11
  • unif:仿 Scikit-Learn 设计的深度学习自然语言处理框架, 支持约 40 种模型类, 涵盖语言模型、文本分类、NER、MRC、机器翻译等各个领域-源码

    中文 | 针对 NLP 工业界人士设计。基于 Tensorflow1.x/2.x,快速搭建各类深度学习模型 (Transformer, GPT-2, BERT, ALBERT, UniLM, XLNet, ELECTRA 等),完成语言模型/文本分类/文本生成/命名实体识别/机器阅读理解/机器翻译/序列标注/知识蒸馏任务。 特性 API 简单:三行代码完成训练及推理,并一键设置多进程/多 GPU 并行 品类丰富:支持约 40 种模型类 高分保证:提供分层学习率、对抗式训练等多项训练技巧 可供部署:导出模型 PB 文件,供线上部署 安装 git clone https://github.com/geyingli/unif cd unif python3 setup.py install --user 若需卸载,通过 pip uninstall uf 即可。 快速上手 import uf #

    2021-08-05
    9
  • git-xargs:git-xargs 是一个命令行工具 (CLI),用于使用单个命令跨多个 Github 存储库进行更新-源码

    目录 介绍 概述 git-xargs是一个命令行工具 (CLI),用于使用单个命令跨多个 Github 存储库进行更新。 你给git-xargs : 要运行的脚本或命令 回购清单 和git-xargs将: 克隆每个 repo 针对它运行您指定的脚本或命令 提交任何更改 打开拉取请求 提供所发生的一切的详细报告 Git-xargs 利用 goroutines 并行执行 repo-updating 工作,因此速度非常快。 例如,您是否曾经需要一次在多个存储库中添加特定文件? 或者运行搜索和替换以使用一个命令在 150 个存储库中更改您的公司或产品名称? 升级 Terraform 模块以全部使用最新语法怎么样? 添加 CI/CD 配置文件(如果它不存在)如何,或者如果存在则修改它,但仅在您选择的存储库的子集上? 您可以使用单个git-xargs命令处理这些用例以及更多用例。 示例:向

    2021-08-05
    9
  • veres-one:用于获取和管理去中心化标识符的分类账-源码

    一号 用于获取和管理分散标识符的区块链。 Veres One 项目设想了一个人们和组织可以控制他们的标识符和身份数据的世界。 Veres One 区块链是一种适合用途的区块链,针对 Web 上的身份进行了优化。 网络生态系统旨在通过使用创新的运营和融资模式实现自给自足。 运营模型确保开放性,防止对网络的攻击,并为选择运行软件以确保网络安全的个人和组织提供经济奖励。 人的尊严要求每个人都能够平等地参与我们日益数字化的社会。 这意味着每个人都应该有能力创建和管理唯一的、全局可解析的标识符。 因此,该网络是全球性的,并向公众开放; 任何人都可以参加。 您可以在了解有关此项目的更多信息。 有关区块链的技术细节可以在。 要求 Linux(Debian 10+,Ubuntu 18.04+) 节点 12.11+ MongoDB (3.6+) Redis (4+) 评估快速入门 您可以使用为

    2021-08-04
    9
  • docker-default-backend-源码

    默认后端 Docker 镜像 创建这个 docker 镜像是为了给你的 404 默认后端增添趣味。 它带有一组标签,每个设计一个。 加上random标签,随机标签将随机更新以指向其中一个设计。 用法 docker run --rm -p 6969:6969 -p 9696:9696 wyrihaximusnet/default-backend:random 端口 6969 - 提供404页面 9696 - 提供9696指标

    2021-08-04
    9
  • Boom-Bay.github.io:Boom Bay 收集了从一开始就开源的跳岛战斗游戏娱乐和项目的网站-源码

    繁荣湾项目 经过: / , Et; 阿尔。 最佳 README.md 用其他语言阅读这篇文章 :globe_with_meridians: 语言列表 排序方式: AZ ( 南非荷兰语|阿尔巴尼亚|阿姆哈拉语| 阿拉伯语| 亚美尼亚| 阿塞拜疆|欧盟巴斯克语巴斯克|是Беларуская白俄罗斯|亿বাংলা孟加拉语| BS波斯尼亚彼得波黑| BGбългарски保加利亚语| CA加泰罗尼亚语加泰罗尼亚语| ceb Sugbuanon Cebuano | ny Chichewa Chichewa | zh-CN 简体中文中文(简体) | zh-t 中国传统的)中文(繁体) | co Corsu Corsican | hr Hrvatski克罗地亚语 | cs čeština捷克语 | da dansk丹麦语 | nl 荷兰荷兰语 | EN-US英语英语| EO世界语世界语|等Eestlane爱沙尼亚| TL菲律宾语语|网络S

    2021-08-04
    11
  • nerves_examples:使用 Nerves 的小示例程序-源码

    神经示例 设置 如果您以前没有使用过 Nerves,请参阅主要的。 您还应该使用以下 Elixir 和 Erlang 版本: Elixir 1.12.1 或更高版本 Erlang OTP 24 请参阅的 这个存储库包含几个 Nerves 示例项目作为子目录。 大多数这些项目应该适用于所有。 有关如何构建示例的详细信息,请参阅每个应用程序根目录中的README.md 。 minimal 其他例子 Nerves 社区还有其他可能有用的项目。 以下是一些: Nerves Livebook - 使用新的Elixir Livebook 应用程序学习Nerves Elixir Circuits - 使用预先构建的固件映像对硬件 I/O 进行实验 NervesKey 快速入门- IoT 身份验证设备的基本配置 支持 如果您遇到问题,请告诉我们。 Nerves 社区可以在Elixir 论

    2021-08-04
    5
  • 至尊王者

关注 私信
上传资源赚积分or赚钱