starkware-libs/cairo

RustApache-2.0active

Health

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

Community

starkware-libs/cairo

RustApache 2.0

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

active

★ 1.9k756 contributors3d ago

More Rust repos

polytope-labs/hyperbridge

Hyperbridge scales verifiable interoperability

★ 20892

wboayue/rust-ibapi

An implementation of the Interactive Brokers API for Rust

★ 31791

NiREvil/vless

v2ray subscription links

★ 1.1k91