❄️ My nix config for both desktops(NixOS+macOS) and homelab servers(NixOS).

I3 Window Ricing + Widget Panel using EWW

🌿 My Arch Linux i3-wm dotfiles

My Personal Nix, NixOS and Nix-Darwin System Configuration Flake

My rice config with rose pine and i3, running on openSUSE and nixOS

Multi-host NixOS, Darwin, and home-manager configurations with Nix.

Arch dotfiles. i3 dotfiles.

An introduction to theorem proving in Lean for the impatient.

NixOS goes for blood: Niri and Stylix in pure darkness

🌋​ MujaOS lightweight Modular nix configuration

Formal specification of the Haskell Language Report

My personal NixOS Flake setup that I use daily.

death 💀 to typeclasses

x86_64 compiler written in java

A reproducible and modular Neovim configuration powered by Nix flakes

A template to start you nixos journey.

Personal config files for NixOS. See my other rices in the link below!

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

Yay.nix (Yet another Yay) is a simple wrapper around useful commands I use all the time and can't be bothered to keep typing. I also just miss writing yay in terminal

Nix config for Homelab and PCs

A nix-based nvim package manager that supports a normal config directory ... that can easily output mulitiple configured packages! (with example config(s) and in-editor help)

Sandeep's Literate System Configuration

Porting of software foundations book to Agda

My NixOS configurations and dotfiles

Neovim Configuration based on Nixvim.

Haskell implemented with combinators

Experiments with eBPF bytecode