fully-local server for LG ThinQ devices (reverse-engineered)

Multi-tenant Nix Binary Cache

A verification toolchain for Rust programs

Analyze Rust crates without touching compiler internals

macOS-style swipe gestures for Apple Magic Mouse 2 on Linux/Wayland

Tool to vet (check) Nixpkgs, including its pkgs/by-name directory

Tracing-based Nix evaluation cacher

Active (code etc) reading quiz for pi

Property-based testing for Rust, built on Hypothesis

Minimal, incremental clang compilation library for nix

egraphs + datalog!

CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases

Distributed builds for Nix

🍁 Generate infrastructure and network diagrams directly from your NixOS configurations

Prototype for a kernel packing library

BG3 Linux/Steamdeck Achievement Enabler

A Homestuck SBURB-sim fangame

A minimal browser extension that shows token count, cache timer, and usage bars on claude.ai.

An experimental attempt at creating general-purpose building blocks for Loom implementations.

A power user focused interface for LLM base models.

monospace typeface designed for symbol-rich programming

Import Nix projects regardless of how they are exposed.

Information around the PCB template standard, Viagrid.

Implementation of F5-TTS in MLX

🍨 A tasteful way to organize your Nix code