An experiment in scalable routing as an encrypted IPv6 overlay network

Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.

The world's first open-source AI-native vector design tool and the first to feature concurrent Agent Teams. Design-as-Code. Turn prompts into UI directly on the live canvas. A modern alternative to…

Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.

Create a private PaaS on Hetzner Cloud in minutes using nix-infra.

Persistent Context Across Sessions for Every Agent – Captures everything your agent does during sessions, compresses it with AI, and injects relevant context back into future sessions. Works with C…

A basic framework for an effect system based on effects represented by GADTs.

A theory‑backed, type‑safe algebraic effects

Code examples from the blog post

Lightweight coding agent that runs in your terminal

(S)witch(K)ubernetes(C)ontext + aliases for common kubectl commands

bluetooth mesh chat, IRC vibes

Homomorphic encryption demo contract

Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.

A collection of MCP servers.

Lisp in WebAssembly

Example forms for transient UI's in Emacs

a zero-knowledge algorithmic stablecoin

An open-source protocol enabling high-performance, local-first, peer-to-peer, end-to-end encrypted collaborative apps.

A library for verifying zero-knowledge regular expressions on the Mina blockchain.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A factorio-like game on the blockchain!

🙌 OpenHands: AI-Driven Development

An unofficial Copilot plugin for Emacs.

Zeko: ZK rollup protocol