Stars
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
This repository stores nightly builds of Starknet Foundry.
Toolkit for real-time, low latency, programmable video and audio mixing.
A tool to run experimental software builds across Cairo language ecosystem.
Empowering everyone to build reliable and efficient software.
Encrypted Machine Learning library that relies on the Next-Gen Vaultree Fully Homomorphic Encryption (NG-FHE) library, VENumpy.
A github action for setting up snfoundry
Library to help map the lowest level of abstraction (CASM) to a higher level (Sierra), and then to specific information the user wants to obtain using annotations
A collection of lints to catch common mistakes and improve your Cairo code.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Starknet SDK for JVM languages (Java, Kotlin, Scala)
Blazing fast toolkit for developing Starknet contracts.
Profiler for Cairo programming language & Starknet