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.
☆61Oct 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 4 months ago
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- ☆63Feb 18, 2022Updated 4 years ago
- Create full netboot images in 15 seconds.☆55Apr 25, 2021Updated 5 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 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.
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- A complete and Simple Nixos Mailserver☆181Jun 29, 2018Updated 8 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- terraform meets nix☆21Updated this week
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Select and show tailscale VPN status with rofi and polybar☆18Dec 11, 2022Updated 3 years ago
- Personal servers and also my router config.☆23Oct 27, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- NixOS configuration for the Snabb Lab☆59Jul 11, 2024Updated 2 years ago
- Scans files for Nix store references and registers them with the Nix garbage collector.☆36Nov 25, 2025Updated 8 months ago
- Dysnomia: A tool for deploying mutable components☆89Sep 27, 2023Updated 2 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- ZFS Snapshotting Service☆30May 8, 2020Updated 6 years ago
- A fully automated replicable nixos configuration set☆110Nov 5, 2022Updated 3 years ago
- Keep your laziness in check!☆36Feb 26, 2026Updated 5 months ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 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.
- My ZeroTier DNS modules☆32Jun 12, 2020Updated 6 years ago
- React hook for server-side state☆17Jan 4, 2023Updated 3 years ago
- My Emacs configuration (2018-2021)☆25Sep 1, 2023Updated 2 years ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- Nix configuration for all my workstations and servers☆33Sep 20, 2021Updated 4 years ago
- Old and New GHC☆20Feb 22, 2023Updated 3 years ago
- nixos based linux operating system for software development☆25Nov 13, 2022Updated 3 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 8 years ago
- NixOS configuration for various machines.☆13Apr 2, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆15Oct 17, 2018Updated 7 years ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 3 years ago
- Cross compiling Hello World (haskell) to Windows using nix.☆56Mar 28, 2018Updated 8 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- A calm, almost monochrome color theme for Emacs with a dark and light variant☆16Jan 30, 2019Updated 7 years ago
- Some of my .nix files☆39Updated this week
- Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices☆13Apr 6, 2022Updated 4 years ago