A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.

The home of all Matt's internal tooling

A dataframe approach to the Cairo framework

Grok open release

Ethereum <> Starknet RPC middleware.

A local testnet for Starknet... in Rust

Starknet Improvement Proposal repository

cairo-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…

Starknet client implementation.

DEPRECATED in favor of https://github.com/madara-alliance/madara

Audited & minimal JS implementation of elliptic curve cryptography.

Arduino autopilot for small boats

Learn how to debug a StarkNet smart contract

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

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

🏗 forkable Ethereum dev stack focused on fast product iterations

Abi parser for Cairo smart contracts, based on wagmi abitype

Strict TypeScript types for Ethereum ABIs

JavaScript library for StarkNet

A Starknet full node written in Rust

👩↔️👨 Decentralized peer discovery and signaling

Workspace implementation for Torque Framework CLI.