-
juno Public
Forked from NethermindEth/junoStarknet client implementation.
Go Apache License 2.0 UpdatedApr 17, 2025 -
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 UpdatedApr 17, 2025 -
-
-
cairo-book.github.io Public
Forked from cairo-book/cairo-bookThe Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
JavaScript MIT License UpdatedApr 17, 2025 -
raito Public
Forked from keep-starknet-strange/raitoBitcoin ZK client written in Cairo.
Cairo MIT License UpdatedApr 17, 2025 -
noir Public
Forked from noir-lang/noirNoir is a domain specific language for zero knowledge proofs
-
kakarot Public
Forked from kkrt-labs/kakarotZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
Cairo MIT License UpdatedJan 23, 2025 -
cairo-vm-rust-lambdaclass Public
Forked from lambdaclass/cairo-vmcairo-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 th…
Rust Apache License 2.0 UpdatedJan 23, 2025 -
keth Public
Forked from kkrt-labs/kethIntegration of the Kakarot Ethereum execution layer in the Reth client.
Cairo MIT License UpdatedJan 23, 2025 -
cairo-native-lambdaclass Public
Forked from lambdaclass/cairo_nativeA compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Rust Apache License 2.0 UpdatedDec 29, 2024 -
OZ-cairo-contracts Public
Forked from OpenZeppelin/cairo-contractsOpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Rust MIT License UpdatedDec 29, 2024 -
madara Public
Forked from madara-alliance/madaraMadara (prev: Deoxys) is a powerful hybrid Starknet client written in Rust.
Rust Apache License 2.0 UpdatedDec 29, 2024 -
cairo-vm-go-nethermind Public
Forked from NethermindEth/cairo-vm-goA virtual machine for Cairo written in Go
Go MIT License UpdatedDec 29, 2024 -
ekubo-governance Public
Forked from EkuboProtocol/governanceContracts for governance of Starknet protocols
Cairo MIT License UpdatedDec 29, 2024 -
cairo-vm-ts-kakarot Public
Forked from kkrt-labs/cairo-vm-tsA typescript implementation of the Cairo VM
TypeScript Apache License 2.0 UpdatedDec 29, 2024 -
-
papyrus Public
Forked from starkware-libs/papyrusPapyrus is a StarkNet full node written in Rust.
Rust Apache License 2.0 UpdatedDec 29, 2024 -
kakarot-rpc Public
Forked from kkrt-labs/kakarot-rpcKakarot ZK EVM Ethereum RPC adapter
Rust MIT License UpdatedDec 29, 2024 -
mdbook-quiz-cairo Public
Forked from cairo-book/mdbook-quiz-cairoInteractive quizzes for Markdown with Cairo support
TypeScript Apache License 2.0 UpdatedDec 29, 2024 -
pragma-oracle Public
Forked from astraly-labs/pragma-oraclePragma, the first provable oracle.
Solidity MIT License UpdatedDec 29, 2024 -
cairo-vm-python-starkware Public
Forked from starkware-libs/cairo-langPython Apache License 2.0 UpdatedDec 29, 2024 -
scaffold-stark-2 Public
Forked from Scaffold-Stark/scaffold-stark-2Boilerplate to test and develop apps on starknet
TypeScript UpdatedDec 29, 2024 -
starklings-cairo1 Public
Forked from shramee/starklingsAn interactive tutorial to get you up and running with Cairo v1 and Starknet
Cairo MIT License UpdatedDec 29, 2024 -
starknet-foundry Public
Forked from foundry-rs/starknet-foundryBlazing fast toolkit for developing Starknet contracts.
Rust MIT License UpdatedDec 29, 2024 -
art-peace Public
Forked from keep-starknet-strange/art-peaceCollaborative art canvas on Starknet
JavaScript MIT License UpdatedDec 29, 2024 -
shinigami Public
Forked from keep-starknet-strange/shinigamiBitcoin Script VM in Cairo
Cairo MIT License UpdatedDec 9, 2024 -
cairovm.codes Public
Forked from walnuthq/cairovm.codesSource code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
TypeScript MIT License UpdatedMay 9, 2024 -
kakarot-ssj Public
Forked from kkrt-labs/kakarot-ssjKakarot zkEVM - rewrite in the latest version of Cairo
Cairo MIT License UpdatedMay 9, 2024 -
cairo-vm-go-lambdaclass Public
Forked from lambdaclass/cairo-vm_in_gocairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…
Go Apache License 2.0 UpdatedApr 30, 2024