Six Degrees of Wikipedia

Mailing list style code reviews for github

Terraform provider for the Migadu email service

A Nix DSL for DNS zone files [maintainers=@raitobezarius @kirelagin @Tom-Hubrecht]

Interpreted first-order logic in Python

A light markup language

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

Fetch Bibtex entries directly from DBLP

A new type of shell

A massively parallel, high-level programming language

Open Source Identity and Access Management For Modern Applications and Services

Code AI platform with Code Search & Cody

Control all your tooling from a single console

Resources to install NixOS bare metal on Apple Silicon Macs

Rust bindings for the Lean 4 proof assistant

Nix packages and services for projects supported through the NGI program

Minimal implementations for dependent type checking and elaboration

SDK for creating whiteboards and canvas experiences on the web.

Peer-to-Peer Databases for the Decentralized Web

Backdate a commit or range of commit to a date or range of dates.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

The Vampire Theorem Prover

This is the home of the NixOS Foundation

The easiest, most secure way to use WireGuard and 2FA.

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

NixOS configurations for nixos.org and its servers

The official (but not yet stable) formatter for Nix code

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

An implementation and definition of the Rust trait system using a PROLOG-like logic solver