Stars
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
raphaelDkhn / drive-ai
Forked from cartridge-gg/drive-aiSelf driving car AI in road fighter world
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
CountryCousin / kakarot
Forked from kkrt-labs/kakarotZK-EVM type 3 written in Cairo, leveraging STARK proof system.
CountryCousin / protostar
Forked from software-mansion/protostarProtostar is a toolchain for developing and testing with Cairo contracts for StarkNet
CountryCousin / Empiric
Forked from astraly-labs/PragmaEmpiric 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)
CountryCousin / starklings
Forked from onlydustxyz/starklingsAn interactive tutorial to get you up and running with Starknet
CountryCousin / ingopedia
Forked from ingonyama-zk/ingopediaA curated list of ZK resources and links.
CountryCousin / LENDING_BORROWING_DIAMOND_STANDARD
Forked from OdionOseiwe/LENDING_BORROWING_DIAMOND_STANDARDimplementing eip 2535 diamond standard