Crater but for Nix code. Run your regression test suite on large amounts of real-world Nix code, and see what breaks!

Hydra queue runner rewrite

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

goboscript is the Scratch compiler

Unit testing for Nix code [maintainer=@adisbladis]

Build Dockerfile / Containerfile with Nix

A set of minimal dependency bootstrap binaries

Organisational documentation

A thorough specification and conformance suite for builtins.fetchTree and lock file items [maintainer=@roberth,@flokli,@lf-]

A collection of detailed transcripts from Nix Hour series, including all spoken content and code examples.

Grist is the evolution of spreadsheets.

Mapping library names from debian to nix

Deploy with Nix and manage resources declaratively

An open source headless CMS / real-time database. Powerful table editor, full-text search, and SDKs for JS / React / Svelte.

A CSS preprocessor as embedded Haskell.

High performance type safe html generation

Distributed, offline-first bug tracker embedded in git

Summer of Nix is a coordinated effort to support selected free and open source software projects, by making them available on NixOS

Nix packages and services for projects supported through the NGI program

A formal semantics of the RISC-V ISA in Haskell

Algorithmic Information Theory, using Binary Lambda Calculus

Hazel, a live functional programming environment with typed holes

Home of the Nix Constitutional Assembly, there to establish a community-based governance

Automatically build (netboot) images for NixOS [maintainer=@Mic92]

A command-line tool that makes git easier to use with GitHub.

SERV - The SErial RISC-V CPU

GIT utilities -- repo summary, repl, changelog population, author commit percentages and more

Metamath Zero specification language