repos
56
ecosystems
9
languages
3
commits
8,332
─── top repos · by commits
─── repositories
56 totalCairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
storedata starknet cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Creative coding with Cairo
StarkWare's next gen prover
ingo accelerated stwo
Implementation of Circle Plonk + Poseidon31
Playing around with STIR in Stwo
The Cairo Language Server
Papyrus is a StarkNet full node written in Rust.
Papyrus is a StarkNet full node written in Rust.
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Cairo language support for Visual Studio Code.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
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.
─── peer developers
─── ecosystems
─── languages
- Rust33
- Cairo8
- TypeScript2
─── subscriber view
Unlock the full view of spapinistarkware
- · 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.