A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.
☆17Jun 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for guix-transfer
Users that are interested in guix-transfer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion☆82Updated this week
- trick yourself into flakes☆39Jun 6, 2026Updated last month
- Write health checks as NixOS options to quickly verify if your services are properly running.☆51Aug 16, 2025Updated 10 months ago
- Adding StartSSL root certificates to java database on windows.☆17Dec 11, 2013Updated 12 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆18Jul 10, 2025Updated last year
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆14Oct 16, 2023Updated 2 years ago
- Lightweight HTTP proxy for optimizing Nix cache routes for fast access☆118Updated this week
- ☆24Jun 22, 2026Updated 3 weeks ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Simple, existential optics library for OCaml☆18Sep 24, 2022Updated 3 years ago
- A high-performance Rust implementation of the Hermes-Agent orchestration loop for LLM-driven tool execution.☆58May 25, 2026Updated last month
- Search nix packages versions - and minimalist devshell and version manager built on nix - Flake generator for version pinned packages.☆52May 15, 2026Updated 2 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A minimal, stream-based Nix module system. Powered by nix-effects + bend + ned.☆43Jun 25, 2026Updated 2 weeks ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- Zero-config, fully reproducible presentation environment using Marp and Nix☆28May 14, 2026Updated 2 months ago
- A TUI to browse and diff NixOS configurations at the config-level☆131Feb 22, 2026Updated 4 months ago
- ☆57Nov 19, 2022Updated 3 years ago
- Add, update and de-duplicate Deno Dependencies☆14Jul 2, 2026Updated last week
- ☆13Jan 23, 2022Updated 4 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Nix(OS) fleet management☆45Feb 16, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- Run #NixOS on darwin, including Rosetta 2 & virtiofs!☆33Jul 23, 2025Updated 11 months ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- ☆18Jan 25, 2025Updated last year
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 years ago
- Context switch for XMonad: switch between sets of workspaces☆11Apr 9, 2023Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Including Haskell, R, Julia,Python and Jupyter Kernels generated by Nix☆13Mar 6, 2023Updated 3 years ago
- URUS Programming Language - Safe, Simple, Fast. Transpiles to C11.☆27Jun 2, 2026Updated last month
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- VSCode support for Forester☆23Nov 17, 2025Updated 7 months ago
- Simple library for manipulating strings using OpenFST☆12Sep 26, 2021Updated 4 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago