CI and hosting for nix-based, flakified github repos

Nix overlay for Lean 4, and lake2nix

Some useful or didactic garnix actions

A proxy for better Nix remote builds

An extensible and keyboard-focused web browser

CI/CD insights tool for Garnix.io with CLI, server, and MCP support

envil forges Nix flakes and manages stacked environments

alternate nix substitution

Home Manager, but for repos.

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.

♠️ React MDX-based presentation decks

[mirror] A non-monolithic Wayland compositor

NixOS profiles for servers [maintainer=@numtide]

Haskell bindings to the Polar query engine and Oso authorization library

Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

Experimental deployment tool supporting multi-host abstractions

A roundup of:

A categorical programming language with effects

Generically obtain tests for JSON serialization

Collective bargaining for netizens

Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions

https://hercules-ci.com build and deployment agent

A peer-to-peer stack for code collaboration

Build React forms with JSON Schema and the U.S. Web Design System