Bootstrap a zfs-on-root NixOS configuration in one command. Themelios automates the entire installation process using any NixOS livedisk with an internet connection and your git repo. Themelios is flexible with many configuration options and allows for unique, per-machine customization.
☆62Oct 24, 2019Updated 6 years ago
Alternatives and similar repositories for themelios
Users that are interested in themelios are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- kat's configuration flake☆46Mar 13, 2026Updated 3 months ago
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- systray icon for syncthing☆15Aug 10, 2018Updated 7 years ago
- Create full netboot images in 15 seconds.☆54Apr 25, 2021Updated 5 years ago
- ☆64Feb 18, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Personal NixOS configuration☆32Dec 6, 2018Updated 7 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Select and show tailscale VPN status with rofi and polybar☆18Dec 11, 2022Updated 3 years ago
- A complete and Simple Nixos Mailserver☆181Jun 29, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- terraform meets nix☆21Sep 7, 2025Updated 9 months 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.
- Personal servers and also my router config.☆23Oct 27, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- My ZeroTier DNS modules☆32Jun 12, 2020Updated 6 years ago
- A fully automated replicable nixos configuration set☆109Nov 5, 2022Updated 3 years ago
- NixOS configuration for the Snabb Lab☆59Jul 11, 2024Updated last year
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Scans files for Nix store references and registers them with the Nix garbage collector.☆36Nov 25, 2025Updated 6 months ago
- ZFS Snapshotting Service☆30May 8, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Dysnomia: A tool for deploying mutable components☆89Sep 27, 2023Updated 2 years ago
- Suite of tools for the gog.com platform on a Linux system☆40Jan 27, 2016Updated 10 years ago
- My Emacs configuration (2018-2021)☆25Sep 1, 2023Updated 2 years ago
- Keep your laziness in check!☆36Feb 26, 2026Updated 3 months ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- nixos based linux operating system for software development☆25Nov 13, 2022Updated 3 years ago
- Nix configuration for all my workstations and servers☆33Sep 20, 2021Updated 4 years ago
- Cross compiling Hello World (haskell) to Windows using nix.☆56Mar 28, 2018Updated 8 years 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 modular emacs config based on the straight package manager☆11Jul 19, 2022Updated 3 years ago
- fully automated NixOS CLI installer☆23Updated this week
- ☆22Jan 14, 2018Updated 8 years ago
- Old and New GHC☆20Feb 22, 2023Updated 3 years ago
- Some of my .nix files☆39May 31, 2026Updated 2 weeks ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 3 years ago
- ☆15Oct 17, 2018Updated 7 years ago