repos
57
ecosystems
14
languages
6
commits
747
─── top repos · by commits
─── repositories
57 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.
Bitcoin ZK client written in Cairo.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A virtual machine for Cairo written in Go
Token Vesting contract for the Soroban/Stellar platform
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo implementation of ERC-4906: Metadata Update Extension
Kakarot zkEVM - rewrite in the latest version of Cairo
Dojo game - Tetris like
Security Challenges for Starknet
Test runner for ethereum foundation tests
Competitive art canvas on Starknet
☣️ A framework for building safer memecoins 💸
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language. 本Repo为Astro负责的中文版翻译，定期与官方同步并更新中文翻译。
Blazing fast toolkit for developing Starknet contracts.
Blazing fast toolkit for developing Starknet contracts.
Blazing fast toolkit for developing Starknet contracts.
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Bitcoin Script VM in Cairo
Kakarot exploration R&D project to prove Stylus using Cairo
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Contracts for governance of Starknet protocols
Kakarot ZK EVM Ethereum RPC adapter
An interactive tutorial to get you up and running with Cairo v1 and Starknet
Madara is a powerful hybrid Starknet client written in Rust.
Noir is a domain specific language for zero knowledge proofs
Damn Vulnerable DeFi V3 Solutions
Starknet Core Contract components in Cairo.
NFT Dynamic Traits
Formal verification tool for Noir programs using the Rocq system
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
An interactive tutorial to get you up and running with Cairo v1 and Starknet
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Noir is a domain specific language for zero knowledge proofs
An NFT minting application that allows users to convert their digital creations into non-fungible tokens (NFTs). These tokens are unique digital assets stored on a blockchain, providing ownership and authenticity verification.
Madara is a powerful hybrid Starknet client written in Rust.
Noir is a domain specific language for zero knowledge proofs
solutions for starknet bootcamp winter 2024
An interactive tutorial to get you up and running with Cairo v1 and Starknet
Kakarot ZK EVM Ethereum RPC adapter
Madara is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
An interactive tutorial to get you up and running with Cairo v1 and Starknet
An interactive tutorial to get you up and running with Cairo v1 and Starknet by BG
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Starknet Core Contract components in Cairo.
─── peer developers
─── ecosystems
─── languages
- Rust27
- Cairo19
- TypeScript3
- Solidity3
- Go1
- JavaScript1
─── subscriber view
Unlock the full view of TAdev0
- · 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.