The Starknet Paymaster – abstract gas fees with full control and zero friction.

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Madara is a powerful hybrid Starknet client written in Rust.

Public ABIs for the Ekubo contracts

Token sniping bot on starknet

☣️ A framework for building safer memecoins 💸

This project focuses on predicting the final golf ball location after the ball is hit by the golfer with only one camera using Machine Learning Algorithms and Open CV.

Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️

Cairo 1.0 - Tree-Sitter

This repo is dedicated to making minimal repos of existing defi primatives.

Wallet/tx visualization tool

Kakarot zkEVM - rewrite in the latest version of Cairo

A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

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

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

Protostar is a toolchain for developing and testing Starknet contracts

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