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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- terraform meets nix☆21Jul 25, 2026Updated last month
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 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.
- 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 9 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
- 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.
- A fully automated replicable nixos configuration set☆109Nov 5, 2022Updated 3 years ago
- Keep your laziness in check!☆38Feb 26, 2026Updated 6 months ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- 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 3 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
- 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.
- 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
- A calm, almost monochrome color theme for Emacs with a dark and light variant☆16Jan 30, 2019Updated 7 years ago