Pith. sign in

REVIEW 4 cited by

Functional Package Management with Guix

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1305.4584 v1 pith:KOCENMXM submitted 2013-05-20 cs.PL

Ludovic Courtès This is my paper · ORCID
classification cs.PL
keywords guixpackageprogrammingbuilddescribefunctionallanguagemanagement
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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 packages. We demonstrate how it allows us to benefit from the host general-purpose programming language while not compromising on expressiveness. Second, we show the use of Scheme to write build programs, leading to "two-tier" programming system.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction

    cs.CR 2026-05 unverdicted novelty 7.0 of 10

    NICE provides Nix-based declarative recipes for reproducing CVEs with machine-checkable exploitation proofs, shown on 19 diverse real-world cases across multiple CWE categories and target types.

  2. Package Managers \`a la Carte: A Formal Model of Dependency Resolution

    cs.PL 2026-02 reject novelty 6.0 of 10

    A core calculus for dependency resolution is proposed with reductions from package-manager extensions, aiming to enable cross-ecosystem dependency translation.

  3. Solving Package Management via Hypergraph Dependency Resolution

    cs.SE 2025-06 conditional novelty 5.0 of 10

    A hypergraph formalism with three edge types encodes package dependencies, conflicts, and optional deps, and a SAT-based solve can in principle span many package ecosystems in one pass.

  4. Nix to the Rescue for a Reproducible HPC-AI Software Stack

    cs.DC 2026-07 conditional novelty 3.5 of 10

    Nix's isolation, consistent layout, and flakes fix Conda/module dependency leakage and composition failures for hybrid HPC-AI stacks and generate deployable Apptainer images from one spec.

Pith tools