Explore Projects

Discover 5 open source projects

Active filters (1):
Search: starknetร—
Clear all

Showing 1-5 of 5 projects

starkware-libs/cairo

Cairo is a Turing-complete language for creating provable programs for general computation.

1.9K
Active
Rust
MCP Servers
#zero-knowledge-proofs#provable-programming#general-computation

keep-starknet-strange/awesome-starknet

A curated list of awesome resources for building on the StarkNet Ethereum scaling solution.

1.5K
Archived
Smart Contracts
Awesome Lists
#cairo#layer2#rollups

starkscan/starkscan-verifier

Verify Cairo contracts on Starkscan, a block explorer for the Starknet zk-rollup network, in under a minute.

1.3K
Archived
TypeScript
Smart Contracts
CLI Tools
TypeScript
#blockchain#ethereum#starknet

starknet-io/starknet.js

A TypeScript library for interacting with the StarkNet Layer 2 Ethereum scaling solution.

1.3K
Active
TypeScript
Smart Contracts
API Frameworks
TypeScript
#ethereum#l2#starknet

kkrt-labs/kakarot

Kakarot is a zero-knowledge Ethereum Virtual Machine (zkEVM) built on Cairo and the STARK proof system.

1.0K
Archived
Cairo
Smart Contracts
API Frameworks
Ethereum
#ethereum#evm#zero-knowledge

Stay in the loop

Get weekly updates on trending AI coding tools and projects.