repos
66
ecosystems
27
languages
7
commits
144
─── top repos · by commits
─── repositories
66 totalCairo is the first Turing-complete language for creating provable programs for general computation.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
General purpose Blended Execution layer
Transports, Middleware, and Networks for the Alloy project
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
Transports, Middleware, and Networks for the Alloy project
Fork of Foundry tailored for zkSync environment
A robust, high-performance execution client for Ethereum node operators.
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Taiko Alethia based rollup protocol 🥁
A based rollup template of the Taiko Alethia stack.
The Ethereum Improvement Proposal repository
Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-cases database & many more. Feel free to collaborate.
Go implementation of the Ethereum protocol
Rust Bitcoin library
Celestia consensus node
Rust implementation of the Ethereum Virtual Machine.
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Ethereum Virtual Machine written in rust that is fast and simple to use
Consolidated documentation for the Miden rollup
Celestia consensus node
OpenZeppelin Contracts is a library for secure smart contract development.
The Swiss Army knife to power JavaScript based client solutions ranging from Web apps/explorers over browser extensions to server-side clients like faucets/scrapers.
Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.
A toolkit for polynomial IOPs (PIOPs)
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Go implementation of Ethereum proof of stake
Reference implementation of the Filecoin protocol, written in Go
The Nexus zkVM: The zero-knowledge virtual machine
Reference client for NEAR Protocol
A fast, secure, and portable multichain light client for Ethereum
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Polkadot's ink! to write smart contracts.
An efficient re-implementation of Electrum Server in Rust
WebAssembly Smart Contracts for the Cosmos SDK
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Official repository for core projects comprising the Celo platform
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.
Rust library for writing NEAR smart contracts
Dymension Hub
Monorepo for OP Stack Types, Components, and Services built in Rust.
Making client-side ZK proving on mobile simple.
OpenZeppelin Relayer
Rust implementation of the Agglayer.
Implementation of the Filecoin protocol, written in Go
Implementation of the Filecoin protocol, written in Go
WebAssembly Smart Contracts for the Cosmos SDK - This code is compiled into Wasm bytecode as part of the smart contract.
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Private fork of risc0 with Go/TinyGo guest notes
Reference client for NEAR Protocol
Implementation of the Filecoin protocol, written in Go
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.
Everything required to run your own Base node
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
Go implementation of Ethereum proof of stake
Reference implementation of the Filecoin protocol, written in Go
─── peer developers
─── ecosystems
─── languages
- Rust37
- Go18
- TypeScript4
- Solidity2
- C++2
- C#1
- Shell1
─── subscriber view
Unlock the full view of Snezhkko
- · 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.