Everything required to run your own Base node

A transparent, publicly verifiable anti-cheat software.

Distributed proving infrastructure for OpenVM

A performant and modular zkVM framework built for customization and extensibility.

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

mold: A Modern Linker 🦠

Master programming by recreating your favorite technologies from scratch.

Gas Town - multi-agent workspace manager

Centaur is frontier, agentic infrastructure that you own. Centaur is like Claude Tag, but open source and on steroids.

A games launcher for GOG, Amazon and Epic Games for Linux, Windows and macOS.

A refreshingly simple data-driven game engine built in Rust

Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.

Experimental GPU kernels for Binius computations

Boa is an embeddable Javascript engine written in Rust.

Matt Van Horn's agentic engineering hacks, turned into durable Smithers workflows.

A smart contract implementation of the Ethereum light client sync protocol

Keystone Enclave (QEMU + HiFive Unleashed)

General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions

Self-hosted AI workspace.

Better Discord enhances Discord desktop app with new features.

Declarative management of Agent Skills on Nix

A focused launcher for your desktop - native, fast, extensible

Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

The agent that grows with you

Sell Miller-Rabin probable primes to AI agents over x402. Go server, USDC on Base.

Development repository for the Triton language and compiler

Self-hosted background coding agents with full dev environments.

Open weight models to solve the issues with aging biomarker measurements detailed at https://x.com/nikhilyadala/status/2035920229889630486/