A template to start you nixos journey.
☆43Aug 17, 2025Updated 7 months ago
Alternatives and similar repositories for nixos-template
Users that are interested in nixos-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reproducible system configurations☆11Mar 11, 2026Updated 2 weeks ago
- Nix tooling for the seL4 microkernel & ecosystem☆16Dec 12, 2025Updated 3 months ago
- Edit text anywhere on Wayland with Neovim.☆15Sep 17, 2025Updated 6 months ago
- A simple zero-config tool and a library for making locally-trusted development certificates, written in Rust.☆35Dec 12, 2025Updated 3 months ago
- Run syncthing rootless and distroless.☆25Mar 4, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- ☆50Mar 23, 2025Updated last year
- Transform a directory into a nix flake☆26Mar 11, 2026Updated 2 weeks ago
- My dotfiles and i3 install (configured by ansible)☆14Mar 21, 2026Updated last week
- ☆13Apr 25, 2024Updated last year
- My Emacs config, many many years in the making.☆23Mar 15, 2026Updated 2 weeks ago
- Wallpaper tool with shader support for Wayland compositors☆34Dec 6, 2025Updated 3 months ago
- Aspect-oriented, context-driven Dendritic Nix configurations☆188Updated this week
- A Nixpkgs module system usage pattern☆334Feb 22, 2026Updated last month
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- My rice config with rose pine and i3, running on openSUSE and nixOS☆10Feb 2, 2026Updated last month
- ICS to CalDAV synchronisation☆28Mar 10, 2026Updated 2 weeks ago
- GDExtension Bindings for CSharp☆18Jan 28, 2023Updated 3 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- ts搭建的go-cqhttp机器人开发框架☆10Aug 23, 2024Updated last year
- Logger wrapper that adds logging context☆36Mar 1, 2026Updated 3 weeks ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆18Jun 17, 2019Updated 6 years ago
- My system configuration.☆25Oct 11, 2024Updated last year
- My NixOS configurations and dotfiles☆14Mar 10, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Experimental modern warfare and tactical defense system☆75Aug 14, 2025Updated 7 months ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- PlayerBagManager(LLCheckBag) for Levilamina☆12Aug 3, 2025Updated 7 months ago
- 中文文本相似度计算☆11Sep 1, 2018Updated 7 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- A coord transform tool. 提供百度坐标系(BD-09) 、火星坐标系(国测局坐标系、GCJ02)、WGS84坐标系的相互转换。☆18Jun 24, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- persistence for various emacs folding systems☆38Oct 2, 2025Updated 5 months ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 8 years ago
- Ai based nix help system from the command line.☆214Aug 23, 2025Updated 7 months ago
- Nix flake for dae and daed☆59Feb 20, 2026Updated last month
- Prevent windows from jumping on minibuffer activation☆32Feb 4, 2025Updated last year
- 🌈 Extremely straightforward evaluation-time Pywal integration for Home Manager☆13Feb 27, 2026Updated last month