Universal property-based testing protocol, built on Hypothesis

A fast type checker and language server for Python

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

📮 A fully featured open source mail delivery platform for incoming & outgoing e-mail

Emacs completion style that matches multiple regexps in any order

Framework for simplifying flake setup [maintainer=@accelbread]

A fork of the Determinate Nix Installer.

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

Auto-format source code in many languages with one command

Define commands which run reformatters on the current Emacs buffer

Editor Code Assistant (ECA) - AI pair programming capabilities agnostic of editor

Multiple cursors implementation for evil-mode

gleam HTTP server. because it glistens on a web

Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.

learnablemeta.com

AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion

A curated collection of 1000+ agent skills from official dev teams and the community, compatible with Claude Code, Codex, Gemini CLI, Cursor, and more.

My personal dotfiles

EmDash is a full-stack TypeScript CMS based on Astro; the spiritual successor to WordPress

Jujutsu version control mode for Emacs inspired by Magit

Majutsu! Magit for jujutsu

Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 26 languages via tree-sitter. Built for coding agents.

Emacs frontend for the pi coding agent

A TypeScript-first, Bun-native CLI framework with composable modules.

Static analysis for GitHub Actions

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

A more intuitive version of du in rust