• Computer Science
  • Published in ELS 2013

Functional Package Management with Guix

@inproceedings{Courts2013FunctionalPM,
  title={Functional Package Management with Guix},
  author={Ludovic Court{\`e}s},
  booktitle={ELS},
  year={2013}
}
We describe the design and implementation of GNU Guix, a purely functional package manager designed to support a complete GNU/Linux distribution. Guix supports transactional upgrades and roll-backs, unprivileged package management, per-user profiles, and garbage collection. It builds upon the low-level build and deployment layer of the Nix package manager. Guix uses Scheme as its programming interface. In particular, we devise an embedded domain-specific language (EDSL) to describe and compose… CONTINUE READING
3
Twitter Mentions

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

Scalable Workflows and Reproducible Data Analysis for Genomics.

VIEW 19 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Code staging in GNU Guix

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND

Relationship Maintenance in Software Language Repositories

VIEW 1 EXCERPT
CITES BACKGROUND

Modular architecture for code and metadata sharing

VIEW 3 EXCERPTS
CITES BACKGROUND

Reproducible and User-Controlled Software Environments in HPC with Guix

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

An adaptive package management system for scheme

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

NixOS: A purely functional Linux distribution

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Boot-to-Guile

  • L. Courtès
  • February
  • 2013
VIEW 1 EXCERPT

Down with /bin/sh

  • L. Courtès
  • January
  • 2013
VIEW 1 EXCERPT

Asymmetric Lenses in Scala

VIEW 1 EXCERPT

Multitier Programming in Hop

VIEW 2 EXCERPTS

Stow—Managing the Installation of Software Packages

  • B. Glickstein, K. Hodgson
  • 2012
VIEW 1 EXCERPT