GitHub repository: starkoracles/Aero
Primary language: Cairo
Description: A blazingly fast sdk for running proofs on the browser... and verifying them on-chain