欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Guix
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 GNU Guix Thanks, Wikipedia. |
GNU Guix
目录 |
简介
GNU Guix 操作系统, Functional OS.
Guix 系统是 GNU 操作系统的一个高级发行版,它使用 Linux-libre 内核,对 Hurd 内核的支持也在开发中。
GNU Guix 包含 GNU System 的包管理工具并附带了超过 21000 个软件包,使用 GNU Guile 编写。
在底层,Guix 实现了由 Nix 开创的函数式包管理器,基于 Nix 的软件发行版 Nixpkgs 和 NixOS 给 Guix 带来了灵感。
Hurd
GNU Guix based on GNU Hurd
功能
- The Big Change (2021-12-15)
指南
项目
- Guix-HPC channel:guix-science
- Guix Workflow Language (GWL)
GNU Guix 依赖以下软件包:
- GNU Guile
- Guile-Gcrypt
- GnuTLS
- Guile-SQLite3
- Guile-zlib
- Guile-lzlib
- Guile-Avahi
- Guile-Git
- Guile-JSON
- GNU Make
图集
链接
分享您的观点