Scripts and support necessary to make a GuixSD Virtualbox image
☆22Jan 5, 2026Updated 3 months ago
Alternatives and similar repositories for guix-vm
Users that are interested in guix-vm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automagic scheduling of a convention☆13Dec 28, 2018Updated 7 years ago
- Packer recipe to create Guix images☆14Mar 24, 2018Updated 8 years ago
- Google I/O Schedule App for Android: a fork of Google's open source io Schedule☆37Jun 10, 2010Updated 15 years ago
- Let the Shepherd herd Guix System containers☆29Dec 23, 2023Updated 2 years ago
- A bare bones lisp parser & interpreter☆11Jan 26, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆21Jan 5, 2026Updated 3 months ago
- Powerful test runner for clojure☆10Nov 25, 2011Updated 14 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- A package repository for hermes☆46Aug 27, 2020Updated 5 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Pijul <-> Git proxy☆22May 31, 2019Updated 6 years ago
- Spins up dev/test VMs and bakes cloud images.☆15Feb 20, 2016Updated 10 years ago
- Wrapper for using libwebview from GNU Guile☆13Mar 15, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Gravity simulation in Hyper terminal☆23Dec 6, 2022Updated 3 years ago
- ☆14Oct 8, 2023Updated 2 years ago
- Guix on WSL2, packages and notes☆62Apr 3, 2026Updated last week
- An ExpressionEngine Extension that allows the authentication of users via LDAP. LDAP details are copied to the EE database before standar…☆30Feb 7, 2017Updated 9 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- SDL2 Bindings for the Idris programming language☆10Feb 26, 2020Updated 6 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- A package containing many useful algorithms (borrowed from many other programming languages).☆15Apr 17, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This project aims at implementing a Guix native experience for services that are not yet guixable☆23Mar 27, 2026Updated 3 weeks ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- ☆13Jul 19, 2018Updated 7 years ago
- A repo exploring one way to arrange and use Terraform☆12Oct 7, 2020Updated 5 years ago
- Create subcommand-based command-line programs with docopt☆13Jan 6, 2020Updated 6 years ago
- Emacs mode to edit Chef repositories☆20Jun 28, 2018Updated 7 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- The images used by Packet.net's deployment process.☆37Feb 12, 2020Updated 6 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Unofficial collection of packages that are not going to be accepted in to guix☆40Jan 26, 2017Updated 9 years ago
- Unix manual pages for R6RS and R7RS☆21Feb 11, 2024Updated 2 years ago
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆22Apr 7, 2020Updated 6 years ago
- now-playing-desktop notifications for mpv ⚠ Note: This software is currently unmaintained since I don't have the resources or interest ri…☆17Mar 17, 2018Updated 8 years ago
- Harmonize with coworkers around GitHub reviewing.☆24Mar 6, 2026Updated last month
- A library to work with Puppet manifests, test them and eventually replace everything ruby.☆53Nov 7, 2023Updated 2 years ago
- This repo has moved to https://gitlab.com/pjotrp/guix-notes Notes on Guix☆278Aug 31, 2021Updated 4 years ago