Modify dynamic linker, RPATH and other ELF metadata of executables

NixOS Media Server Configuration

Shell aliases on steroids

an intelligent, cascading environment manager

A functional language with algebraic effects, multishot continuations, and native codegen

TacoSprint 2026: Attention, Nix and Tacos Is All You Need

A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.

Everything I run, declared in Nix: systems, packages, services, and networking.

p2p nix builds! "can I get uhhhhh"

Relocatable Nix executables (scripts and dynamic ELF) via self-locating launchers

Parity harness for a pure-gen module engine that hosts unmodified nixpkgs modules

IP addresses break, dial keys instead. A library that adds QUIC + NAT Traversal to your apps.

Directory archives, made human-readable

Nixsa - A Nix Standalone Environment

Seventh-Day Adventist's Sabbath School module generator for the MyBible App

Lightweight OCI container runtime for NixOS

A model checker for implementing distributed systems.

CI and hosting for nix-based, flakified github repos

A web-based frontend for RetroArch

Async/await state machine lite framework for sans-io functionality

A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀

flake-like toml nix pins, lazily fetched and transformed

Lightweight HTTP proxy for optimizing Nix cache routes for fast access

gen-algebra: pure Nix primitives — search monad, intensional functions, record algebra, validators

gen-aspects: aspect-oriented composition types for Nix module systems

gen-graph: monotonic query combinators over scope graphs (Arntzenius 2016)

gen-bind: module binding with external arguments for Nix

Selector algebra for attributed graph positions

gen-derive: stratified rule dispatch with fixpoint convergence