A typescript implementation of the Cairo VM

Desktop Bitcoin Wallet focused on security and privacy. Free and open source.

Code coverage tool for cairo

Kakarot exploration R&D project to prove Stylus using Cairo

The Starknet Agent front-end

A STARK proof to sync a Bitcoin full node in an instant.

Bitcoin ZK client written in Cairo.

Slinks Marketplace.

Bitcoin Script VM in Cairo

Madara is a powerful hybrid Starknet client written in Rust.

Dojo game - Tetris like

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

Contracts for governance of Starknet protocols

Open source forkable Starknet dev stack

Decentralized social built with Nostr and powered by Starknet account abstraction.

CLI to verify your starknet contracts classes on block explorers!

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…

cairo-rs-py adds Python bindings to the cairo-rs Cairo VM

A virtual machine for Cairo written in Go

Competitive art canvas on Starknet

Open source forkable Ethereum dev stack

Utility features to play with EIP-4844 blobs for Starknet usage.

A Starknet full node written in Rust

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.