Farcaster Auth monorepo

Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.

scrapes names and tickers from magicformulainvesting.com every quarter, adds info to a google sheet which includes stock prices and a link to the first result of a google search of the company name

halo2-range-proof

The Halo2 zero-knowledge proving system

Build AI Agents, Visually

Rust bindings for OpenCV

A curated list of awesome ZK resources, libraries, tools and more.

A local testnet for Starknet... in Rust

JS wrapper of starknet-devnet-rs

Developer wallet for Starknet

Fleek Network, a decentralized edge platform.

Starknet C# (.NET) SDK

Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code

Athena is a modern, practical language for proof engineering & natural deduction.

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Complete Starknet library in Rust™

Noir is a domain specific language for zero knowledge proofs

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

A local testnet for Starknet

Abi parser for Cairo smart contracts, based on wagmi abitype

Amarna is a static-analyzer and linter for the Cairo programming language.

✨ 🐍 Python SDK for Starknet.

A plugin for integrating Starknet tools into Hardhat projects

A battleship game using ZKPs

Odra Framework

Backtesting crypto trade system written in Rust.

DeFi tax calculator for Uniswap V2 transactions.