stevencartavia

mancala

cairo_native

A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

starktrip-app

Frontend for the StarkTrip game

kakarot-rpc

Kakarot ZK EVM Ethereum RPC adapter

cairo-book

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

starktrip-contracts

Backend for the StarkTrip Dojo game

actions-sdk

Build and scale ML solutions for web3 quickly, turning python scripts and ML models into resilient, recurrent workflows using ZKML

zaun

Solidity contracts for the Starknet Decentralized Protocol proposal

giza-cli

Giza Platform CLI

kakarot

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

scarb

The Cairo package manager

dojo

Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo

madara

Building the Integrity Web. The most modular ZK Rollup framework.

starklings-cairo1

An interactive tutorial to get you up and running with Cairo v1 and Starknet