Denful

Composable Nix, built in the open

Denful is a community building composable Nix tools. Aspects, algebraic effects, evaluation, and a new runtime called dnx.

The idea is simple. Nix is powerful, yet its libraries rarely compose. Denful brings them together. Aspect oriented configurations that produce NixOS, Darwin, and Home Manager from a single context. Algebraic effects that make side effects explicit and testable. And dnx, a runtime that aims to be parallel, reproducible, and verifiable. Every tool is small, depends on almost nothing, and works on its own or alongside the rest.

All of it is open source, tested, documented, and used by real people. We build it because Nix deserves libraries that compose, that are easy to share, and that scale with you.

gen

The foundation by sini: pure Nix primitives for algebra, scope graphs, and aspect composition. den builds on gen.

Learn More

den

Context aware configuration framework. Declarative pipelines, host and user schemas, batteries included. Works with or without flakes.

Learn More

flake-aspects

Zero dependency aspect composition. Transpose aspect.class into standard Nix module layouts. Parametric providers, nestable sub aspects, composable DAGs.

Learn More

flake-file

Generate flake.nix from typed Nix modules. Use the real Nix language for your flake inputs. Regenerate with one command.

Learn More

import-tree

Recursively import Nix modules from any directory tree. The most widely adopted library for Aspect oriented configs.

Learn More

dendrix

Community driven distribution of Aspect oriented configurations, like NUR but for composable aspects. Layers, import trees, and templates.

Learn More

And Much More...

Algebraic effects (nfx, fx-rs, fx.go), FRP (ned, dnzl, zen), interaction nets (dnx, GoDNix), Nix tooling (nix-versions, nest, fastest), and more.

Full Ecosystem

And then there is dnx

dnx is a new high performance Nix runtime in development. Built from the ground up as a single Rust binary, it gives you reproducible builds without root and without a system wide store.

Underneath it runs on Δ-Nets, an interaction net engine that reduces work in parallel and reuses anything it has already computed, by its real meaning and not by a filename. One engine for building, for evaluating more than one language, and for checking proofs. It is early, honest research software—an ambitious and unprecedented attempt to rethink the foundations of reproducible computation. dnx is libre and stays libre, built in the open as something good for everyone.

Meet dnx

Why your support matters

Denful is built by people who care about it. Every library has CI, tests, documentation, and real users, and keeping all of that healthy takes real, dedicated time.

Each engineer has their own GitHub Sponsors page, and they give their work away freely because they care. Supporting the people behind the tools you rely on is what lets them keep doing it. If Denful saves you time, consider funding the person behind the part you depend on.

Meet the team and sponsor

Used by real people

quasigod.xyz/nixconfig

Beautiful code organization with angle brackets syntax and provides, from the author of the Unify framework which was a huge inspiration for flake-aspects.

Visit

drupol/infra

Adopted by the author of the well known “Flipping the Configuration Matrix” blog post.

Visit

Growing community

People across the Nix ecosystem are discovering Aspect oriented patterns for cleaner, more maintainable configurations.

GitHub Search

vic/vix

A multi host, multi user NixOS and Darwin infrastructure by vic, and the proving ground for every Aspect oriented feature.

Visit

Star History