
repos
86
ecosystems
29
languages
10
commits
593
─── top repos · by commits
─── repositories
86 totalZama Developer Program - December 2025 Winner | Pendex - FHE-Powered Dark Pool Pre-IPO Leveraged Trading Platform
Production-ready 4-week FHEVM Bootcamp — 20 modules, 38 contracts deployed on Sepolia, 360 tests, interactive learning platform with code playground, 215 quiz questions, instructor guides & grading rubrics
The Privacy Layer for Agent Payments. FHE-encrypted tokens, agent identity, escrow-based commerce. 7 contracts, 10 plugins, 3 ERC standards.
Privacy-preserving x402 payment protocol on Base
Production-ready Agent Skills that give any AI coding agent full FHEVM fluency for building confidential dApps on the Zama Protocol.
FHE-Encrypted Sealed-Bid Procurement Protocol — Zama fhEVM
STARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Celestia consensus node
Celestia consensus node
The agent that grows with you
Self-hosted Hermes agent fork — customized rails (SOUL.md, hooks, installer, ops) on top of upstream nousresearch/hermes-agent
Hermes agent deployment for nulab.cc VPS
A decentralized blob store using Sui for coordination and governance.
Core components of the Miden protocol
Cryptographic primitives used in Polygon Miden rollup
Monorepo for OP Stack Types, Components, and Services built in Rust.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A toolkit for polynomial IOPs (PIOPs)
Benchmarking tool for OP stack chains
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Fork of Foundry tailored for zkSync environment
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Rust implementation of the Ethereum Virtual Machine.
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Walrus Sites: Decentralized Websites using Sui and Walrus.
Ethereum Virtual Machine written in rust that is fast and simple to use
Reference implementation of the node for the Miden blockchain
Reference implementation of the node for the Miden blockchain
Core components of the Miden protocol
Private fork of risc0 with Go/TinyGo guest notes
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Citrea repository
Learn how to permissionlessly pass messages & tokens to and from your chain
Celestia Data Availability Nodes
A fork of CometBFT
Client libraries for Tendermint/CometBFT in Rust!
Initia chains metadata central repository
Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.
core protocol repo for mainnet launch
OP Stack Specifications
Client library that facilitates interaction with the Miden blockchain
Periphery contract for story protocol, mainnet repo
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Penumbra is a privacy-preserving decentralized exchange for all of crypto
Blazing fast toolkit for developing Starknet contracts.
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Rust implementation of the Agglayer.
A Kurtosis package that deploys a private, portable, and modular Polygon CDK devnet
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A Kurtosis package that deploys a private, portable, and modular Polygon CDK devnet
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Reference implementation of the node for the Polygon Miden rollup
Celestia Data Availability Nodes
A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A toolkit for polynomial IOPs (PIOPs)
Fork of https://github.com/risc0/risc0-ethereum
Blazing fast toolkit for developing Starknet contracts.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
─── peer developers
─── ecosystems
─── languages
- Rust43
- Go15
- TypeScript7
- Solidity5
- Python4
- HTML3
- C++2
- JavaScript1
- Shell1
- Starlark1
─── subscriber view
Unlock the full view of Himess
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.



















