Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

An SDK for accessing the Aptos blockchain data, submitting transactions, and more!

OpenZeppelin Contracts is a library for secure smart contract development.

Celestia Data Availability Nodes

Core components of the Miden protocol

Rust implementation of the Agglayer.

Morph Monorepo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Relayer bot for across v3

The privacy-focused cryptocurrency

Commonware Library Primitives and Examples

ethrex: Ethereum Rust Execution L1 and L2 client.

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

the blockchain for payments

Python SDK for using verifiable AI inference on OpenGradient

BitQuant is an open-source AI agent framework for building quantitative AI agents, leveraging specialized models for ML-powered analytics, trading, portfolio management, and more.

L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.

SQL views for Dune

Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments

A flexible toolkit for building real-time blockchains

Go implementation of Ethereum proof of stake

Making client-side proving on mobile simple.

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

Transports, Middleware, and Networks for the Alloy project

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

High-performance, well-tested & documented core libraries for Ethereum, in Rust

Taiko Alethia based rollup protocol 🥁 🌸

Consensus client for Seismic