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

搜索资源列表

  1. ConsHoTT:HoTT的建设性解释-源码

  2. 建设性的HoTT 关于HoTT的各种建设性解释的说明,包括路径类型,HIT和统一性原则(代替公理,因为它不再是公理!)。 建造 要构建预印本PDF,您需要TeXLive,它是python软件包Pygments ,Agda的最新版本及其立方库。 安装Pygments: pip install Pygments 或者: pip3 install Pygments 在NixOS上安装TeXLive && Pygments: nix-env -iA nixos.python37Packag
  3. 所属分类:其它

    • 发布日期:2021-03-14
    • 文件大小:27kb
    • 提供者:weixin_42168830
  1. dotfiles:更好,更新,更清洁-源码

  2. 要求 蝙蝠 考试 fd 猫咪 尼克斯 锡德尔胡克 将nix与刚刚对我有用的鱼逐步使用方法 从macOS机器上的鱼提示中。 1. `cd ~/.config/fish` 2. `git clone gitgithub.com:oh-my-fish/plugin-foreign-env.git` 3. Add the following lines to your `config.fish`($HOME/.config/fish/config.fish) to do 2 things:
  3. 所属分类:其它

    • 发布日期:2021-03-07
    • 文件大小:47kb
    • 提供者:weixin_42116794
  1. 玛瑙:用于Gemini超文本协议的非常简单的服务器-源码

  2. 玛瑙 简单的用于静态文件的Gemini服务器 Agate是使用编程语言构建的网络协议服务器。 玛瑙具有很少的功能,并且只能提供静态文件。 它使用异步I / O,即使在低端硬件上运行并处理许多并发请求时,它也应相当高效。 由于默认情况下Agate使用端口1965,因此您应该能够在同一设备上运行其他服务器(例如Apache或nginx)。 了解更多 主页:gemini://qwertqwefsday.eu/agate.gmi 安装与设定 获取玛瑙的二进制文件。 您可以使用以下任何一种方式: 预编译
  3. 所属分类:其它

    • 发布日期:2021-02-28
    • 文件大小:53kb
    • 提供者:weixin_42168230
  1. table-test:在Shpadoinkle中测试大型表-源码

  2. 雪人 :snowman: ⟶ :potato: :snowman: 我们可以使他长高。 或者我们可以让他不那么高... 是的种子项目。 尼克斯 该项目是使用构建的。 安装Nix bash <( curl -L https://nixos.org/nix/install ) 请按照终端机上印刷的说明进行操作 Cachix 不想住很长的建造时间? Cachix为此项目保留了预先构建的依赖项。 安装Cachix nix-env -iA cachix -f https://cach
  3. 所属分类:其它

    • 发布日期:2021-02-27
    • 文件大小:14kb
    • 提供者:weixin_42117622
  1. 校园-源码

  2. 校园 代码 有关映射文档,请参见。 入门 先决条件 该项目是使用构建和部署的。 安装nix: curl -L https://nixos.org/nix/install | sh 要部署该应用程序,请安装 : nix-env -i nixops 正在安装 git clone https://github.com/campusmedius/campusmedius.git cd campusmedius 最初设定 要为Angular项目初始化npm软件包,请使用: ./manage.sh
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:100mb
    • 提供者:weixin_42117340
  1. 布罗克曼:RSS到IRC广播者-源码

  2. 布罗克曼 阅读您喜欢的IRC频道中的RSS feed 用法 开发REPL Nix: nix-shell --attr env default.nix --run "cabal repl" 建造 Nix: nix-build 旧版: cabal build 测试 运行 (需要安装 )将启动运行IRC服务器的NixOS VM以及具有一个RSS feed的brockman实例,并将其发布到#news频道。 安装 Nix(配置文件): nix-env -i -f default.nix 操作系统
  3. 所属分类:其它

    • 发布日期:2021-02-24
    • 文件大小:20kb
    • 提供者:weixin_42098892
  1. nixos-env-源码

  2. nixos-env
  3. 所属分类:其它

  1. 拉德戈夫-源码

  2. 拉德戈夫 与Radicle治理合同进行交互的cli工具。 它可以用于使用密钥文件或硬件钱包创建,查看,投票或执行提案。 安装 安装nix: curl https://nixos.org/nix/install | sh # Run this or login again to use Nix . "$HOME/.nix-profile/etc/profile.d/nix.sh" 然后安装radgov : nix-env -i -f https://github.com/dapp-org/r
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:111kb
    • 提供者:weixin_42166105
  1. nix-overlays:个人nixpkgs覆盖-源码

  2. nix叠加层 个人nixpkgs叠加层,添加了以下软件包: 用法 在用户级别,您可以通过在~/.config/nixpkgs/overlays克隆此~/.config/nixpkgs/overlays来将此覆盖与nix结合使用: mkdir -p ~ /.config/nixpkgs git clone https://github.com/debling/nix-overlays.git ~ /.config/nixpkgs/overlays 克隆后,您可以使用nix-env -iA nix
  3. 所属分类:其它

  1. nix-cfg-源码

  2. nix-cfg 入门 安装Nix守护程序 $ sh <( curl -L https://nixos.org/nix/install ) --daemon --darwin-use-unencrypted-nix-store-volume 启用Nix剥落 $ nix-env -iA nixpkgs.nixFlakes 引导系统配置 $ nix --experimental-features "nix-command flakes" build github:esselius/nix-cf
  3. 所属分类:其它

  1. nix-configs-源码

  2. Nix配置 在macOS上安装 首先,您需要安装nix软件包管理器: curl https://nixos.org/nix/install | sh 并在.zshrc初始化: if [ -e $HOME/.nix-profile/etc/profile.d/nix.sh ]; then . $HOME/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer 接下来,我们需要一个虚拟Linux环境来构建软件包,因为大多数构建
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:19kb
    • 提供者:weixin_42136791
  1. d-lang.nix:用于NixOS的D-lang工具覆盖-源码

  2. 用于NixOS的额外D语言工具 当前,此覆盖仅添加dcd-client和dcd-server命令。 D完成守护程序是D编程语言的自动完成程序。 请参阅存储库。 安装 # Add overlay locally git clone https://github.com/katyo/d-lang.nix ~/.config/nixpkgs/overlays # Install package nix-env -iA nixos.dcd 用法 请参阅spacemacs 页面。 另请参阅使用指南。
  3. 所属分类:其它

    • 发布日期:2021-02-09
    • 文件大小:759kb
    • 提供者:weixin_42160278
  1. 变形:NixOS部署工具-源码

  2. 变形 Morph是用于管理现有NixOS主机的工具-基本上是围绕nix-build , nix copy , nix-env , /nix/store/.../bin/switch-to-configuration nix-env /nix/store/.../bin/switch-to-configuration nix-env /nix/store/.../bin/switch-to-configuration nix-env /nix/store/.../bin/switch-to-co
  3. 所属分类:其它

    • 发布日期:2021-02-04
    • 文件大小:36kb
    • 提供者:weixin_42102272
  1. urbit:一种操作功能-源码

  2. 优比特 是从头开始构建的个人服务器堆栈。 它具有标识层(Azimuth),虚拟机(Vere)和操作系统(Arvo)。 运行中的Urbit“飞船”旨在与其他对等飞船一起使用。 Urbit是通用的点对点计算机和网络。 该存储库包含: ,Unix控制Urbit飞船的工具 源代码 虚拟机的源代码。 有关身份层的更多信息,请参见。 要管理您的Urbit身份,请使用 。 安装 要安装和运行Urbit,请按照的说明进行。 几分钟后,您将进入实时网络。 如果您对Urbit开发感兴趣,请继续阅读。 发展
  3. 所属分类:其它