repos
52
ecosystems
10
languages
4
commits
326
─── top repos · by commits
─── repositories
52 totalSynthetics platform for Starknet, inspired by GMX v2 design.
Satoru keeper service 🦀.
Delta-neutral yield infra on Hyperliquid.
Transmutations Bridge L1 Smart Contract
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language. 本Repo为Astro负责的中文版翻译，定期与官方同步并更新中文翻译。
Madara is a powerful hybrid Starknet client written in Rust.
Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀
Madara is a powerful hybrid Starknet client written in Rust.
Madara (prev: Deoxys) is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️
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.
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.
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.
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.
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.
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.
cairo-rs 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. Cairo and similar proof systems can be used to provide scalability to blockchains.
Foundry like framework for starknet contracts
A stateless trustless Starknet light client in Rust 🦀
A stateless trustless Starknet light client in Rust 🦀
A stateless trustless Starknet light client in Rust 🦀
A stateless trustless Starknet light client in Rust 🦀
Beerus is a trustless StarkNet Light Client, ⚡blazing fast ⚡ and powered by Rust 🦀
Dojo is a toolchain for building provable games and applications
Kakarot ZK EVM Ethereum RPC adapter
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Kakarot ZK EVM Ethereum RPC adapter
─── peer developers
─── ecosystems
─── languages
- Rust30
- Cairo11
- Solidity2
- TypeScript1
─── subscriber view
Unlock the full view of zarboq
- · 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.