Emacs support for direnv which operates buffer-locally

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 275+ supported cars.

tiniest x86-64-linux emulator

Techniques and numbers for estimating system's performance from first-principles

Build terminal applications using functional reactive programming (FRP) with Reflex FRP.

Tests to reproduce Nix durablity problems

An interactive Nix documentation tool providing a CLI for function search, a Nix plugin for docs in the REPL, and a ctags implementation for Nix script

The missing set of useful tools for Postgres DBAs and all engineers

unfork(2) is the inverse of fork(2). sort of.

Nix, the purely functional package manager

Make any NixOS system netbootable with 10s cycle times.

Custom runtime linker like program which suggests a nix-shell compatible expression

APFS module for linux, with experimental write support

💸 Optimal lazy portfolio rebalancing calculator (in Rust)

Enhanced shell completion in Emacs

Exploring the options for incremental Haskell builds using Nix

A free, single-player roguelike dungeon exploration game

build-once run-anywhere c library

unclutter your .profile

a small statically-linked linux system

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

Text API (TAPI) files to support a pure build environment on macOS in nixpkgs.

KWallet: Credential Storage

Create full netboot images in 15 seconds.

SSH agent using TPM 2.0

A daemon for keeping the system timezone up-to-date based on the current location

WPE launcher and webapp container

Backend implementation for the Apple/Google exposure notification API.