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.
☆60Oct 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 7 months ago
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- systray icon for syncthing☆15Aug 10, 2018Updated 8 years ago
- ☆64Feb 18, 2022Updated 4 years ago
- Personal NixOS configuration☆32Dec 6, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Create full netboot images in 15 seconds.☆53Apr 25, 2021Updated 5 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
- PureScript + D3 examples☆13Oct 11, 2016Updated 10 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
- A complete and Simple Nixos Mailserver☆181Jun 29, 2018Updated 8 years ago
- terraform meets nix☆21Jul 25, 2026Updated 2 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 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.
- Select and show tailscale VPN status with rofi and polybar☆19Dec 11, 2022Updated 3 years ago
- NixOS configuration for the Snabb Lab☆59Jul 11, 2024Updated 2 years ago
- Personal servers and also my router config.☆23Oct 27, 2020Updated 5 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- Scans files for Nix store references and registers them with the Nix garbage collector.☆36Nov 25, 2025Updated 10 months ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- Dysnomia: A tool for deploying mutable components☆90Sep 27, 2023Updated 3 years ago
- A fully automated replicable nixos configuration set☆109Nov 5, 2022Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- My ZeroTier DNS modules☆32Jun 12, 2020Updated 6 years ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- My Emacs configuration (2018-2021)☆25Sep 1, 2023Updated 3 years ago
- Keep your laziness in check!☆39Feb 26, 2026Updated 7 months ago
- Old and New GHC☆20Feb 22, 2023Updated 3 years ago
- Nix configuration for all my workstations and servers☆33Sep 20, 2021Updated 5 years ago
- NixOS configuration for various machines.☆13Apr 2, 2019Updated 7 years ago
- ☆15Oct 17, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- Cross compiling Hello World (haskell) to Windows using nix.☆56Mar 28, 2018Updated 8 years ago
- A calm, almost monochrome color theme for Emacs with a dark and light variant☆16Jan 30, 2019Updated 7 years ago
- Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices☆13Apr 6, 2022Updated 4 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 8 years ago
- A modular emacs config based on the straight package manager☆11Jul 19, 2022Updated 4 years ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 3 years ago