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 5 months ago
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- systray icon for syncthing☆15Aug 10, 2018Updated 8 years ago
- ☆63Feb 18, 2022Updated 4 years ago
- Personal NixOS configuration☆32Dec 6, 2018Updated 7 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.
- 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
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 years ago
- 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☆21Jul 25, 2026Updated 3 weeks 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.
- 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
- NixOS configuration for the Snabb Lab☆59Jul 11, 2024Updated 2 years ago
- 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 8 months ago
- Dysnomia: A tool for deploying mutable components☆88Sep 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ZFS Snapshotting Service☆30May 8, 2020Updated 6 years ago
- A fully automated replicable nixos configuration set☆109Nov 5, 2022Updated 3 years ago
- Keep your laziness in check!☆37Feb 26, 2026Updated 5 months ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- My ZeroTier DNS modules☆32Jun 12, 2020Updated 6 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- ☆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