A software library of stochastic streaming algorithms, a.k.a. sketches.

A software library of stochastic streaming algorithms, a.k.a. sketches.

Dynamic, resilient AI orchestration. Coordinate data, models, and compute as you build AI workflows.

A massively parallel, high-level programming language

Canonical zkVM Guest Program. The kernel provides consensus-critical, deterministic agent execution within a RISC Zero zkVM environment.

Ethereum end-to-end test harness

Desktop app to manage markdown knowledge bases

Make my dead hamsters live in your computer forever

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

ethp2p is a next-generation p2p networking stack purpose-built for Ethereum

RANDAO: A DAO working as RNG of Ethereum

CLI tool to analyze skill gaps between your resume and job postings

🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

easy access for morpho blue

Zig libraries for Lodestar

Download and manage zig compilers.

Lean Ethereum PQ devnet client implementation in C++

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

A cross-platform, safe, pure-Rust graphics API.

Minimal zkVM for Ethereum.

a protobuf 3 implementation for zig.

Ethereum p2p implementation in Zig