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

Unified documentation for the gen Nix library ecosystem

Incremental Go builders for Nix

👑 A ratatui framework to build stateful applications with a React/Elm inspired approach

Lightning-fast JJ UI

NixOS Configuration

Self-bootstrapping Nix flake: thin eval collects inputs from a module tree, bootstrap materializes them into flake.nix

In-repository file generation flake-parts module

Demand-driven attribute grammar evaluator over algebraic scope graphs

Private, fast, and honest web browser

Code review for jj (jujutsu) workflows: revset-defined reviews, patchset-anchored comments that survive branch movement, with web, HTTP, and MCP surfaces for fast AI-agent iteration.

Statically-checked Lisp for Nix

Beautiful git diff viewer, generate commits with AI, get summary of changes, all from the CLI

Neovim config examples based on MINI

Progress In Nix - Pacman inspired frontend for Nix

Runtime sandboxing for Nix