A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs

Curated list of ZKML models and use cases made with Giza

Transformer from scratch with einsum method

Code for Account Abstraction workshop using latest Starknet syntax

Self driving car AI in road fighter world

mini-documentation for Cairo 1.0

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

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

a repository for learning cairo for starknet smart contracts

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

Machine Learning and Deep Learning using Self Driving Cars as a case study

A machine Learning project that certifies if someone will book a space in a hotel

A combination of simple implementations of different existing protocols and standards in Cairo

ZK-EVM type 3 written in Cairo, leveraging STARK proof system.

Protostar is a toolchain for developing and testing with Cairo contracts for StarkNet

Empiric Network is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Empiric makes data decentralized, transparent and composable.

cairo class

A curated list of awesome StarkNet resources, libraries, tools and more

A Protocol Owned Liquidity DApp Deployed on the Nahmii 3 Testnet (Early)

An interactive tutorial to get you up and running with Starknet

A curated list of ZK resources and links.

implementing eip 2535 diamond standard