Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop, mobile and VPS.

Library for parsing, generating, and analyzing LLZK code.

Minimal zkVM for Ethereum.

tmux source code

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Noir is a domain specific language for zero knowledge proofs

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

Customizable zkVM for typed, tabular state transitions

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

Concentrated Liquidity Pool Implementation on XRP Ledger using WASM Contract

Cross-chain, Under-collateralizaed Lending Protocol for DAO users

A verifiable personal archive built on a browser-native virtual filesystem.

Build fast web applications with Rust.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

The Ethereum Improvement Proposal repository

Verifiable Roguelike RPG with ZK

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.

Welcome to a calmer internet

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

Empowering everyone to build reliable and efficient software.

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

💡

rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust

Open source agentic operating system

Secure Block Building system built with Rust and TEE 💡

HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity

An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage