More
More
-
cairo Public
Forked from starkware-libs/cairoCairo is the first Turing-complete language for creating provable programs for general computation.
Rust Apache License 2.0 UpdatedDec 26, 2025 -
cosmos-sdk Public
Forked from cosmos/cosmos-sdk⛓️ A Framework for Building High Value Public Blockchains ✨
Go Apache License 2.0 UpdatedOct 8, 2025 -
miden-vm Public
Forked from 0xMiden/miden-vmSTARK-based virtual machine
Rust Apache License 2.0 UpdatedOct 6, 2025 -
monorepo Public
Forked from commonwarexyz/monorepoCommonware Library Primitives and Examples
Rust Apache License 2.0 UpdatedNov 11, 2025 -
nexus-zkvm Public
Forked from nexus-xyz/nexus-zkvmThe Nexus zkVM: The zero-knowledge virtual machine
Rust Other UpdatedNov 19, 2025 -
snapchain Public
Forked from farcasterxyz/snapchainThe open-source, canonical implementation of Farcaster's Snapchain network.
Rust UpdatedJun 20, 2025 -
zirgen Public
Forked from risc0/zirgenZirgen compiler and RISC Zero circuits
C++ Apache License 2.0 UpdatedJul 17, 2025