N

nix

Lean 4 foundations for a verified incremental BLAS compiler

Manage a user environment using Nix

A pre-commit mix with nix

Mirror of https://codeberg.org/BastianA/dotfiles

Portable declarative Firefox with minimal overhead.

My NixOS flake.

Here Lies my Nix Flake Reproducible; as god intended :)

Yet another nix configuration

My main NixOS configuration. Features include a polished Hyprland environment. A fully configured NeoVIM environment, QMK support. A Keyboard shortcut menu pop-down available in the top bar and so much more!

A CLI tool written in go, for searching options in Nix.

Personal NixOS flake for my laptop, desktop, homelab and Raspberry Pi.

my over complex system configurations

Declarative handling of impure/often changing files on NixOS. https://seido.projects.tf

Declarative, tested Linux system configuration

Personal dotfiles for Nix/NixOS.

My dotfiles and installation/configuration scripts

Nix takeover is the best way to install, deploy, and maintain NixOS at scale.

Combining Nix and Terraform for reproducibility and developer experience. https://tofunix.projects.tf