the champagne of beta embedded databases

Condorcet Internet Voting System

An embedded key-value database in pure Rust

To be filled by anyone who fucks up using Nix.

GitOps For NixOS Machines

LibVirt domain management for Nix

A client-side Minecraft mod that adds various "tweaks" (= usually small-ish individual features)

A client-side Minecraft mod with configurable "info lines" ("mini-F3") and various overlays, such as light level and structure bounding boxes

A modern client-side schematic mod for Minecraft

Library mod for masa's client-side Minecraft mods

alternate nix substitution

Madness enables you to easily run the same binary on NixOS and non-NixOS systems

Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]

Auxolotl Laboratories, a home for all our mad science experiments

Infrastructure for Auxolotl

WIP COSMIC app store

Determine if you need to reboot your NixOS machine

Nix-based continuous integration

Get the packages from NixPkgs found in your system's Nix Store

SQLite3 Package Database for use with `nix` and `flox`.

Semantic Versioning for Nix Flakes

Project Skeleton for RP2040 Embedded Firmware using Embassy

Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.

Tool for reviewing GNOME update Nixpkgs PRs

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

A basic rp2040-hal project with blinky and rtt logging example code. With this you can quickly get started on a new rp2040 project

Connect your phone as microphone wirelessly. Supports both PipeWire and PulseAudio.

Nixpkgs overlay for GNOME Shell on mobile