liorgold2

liorgold2's Stars

• starkware-libs/cairo

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

  Language:Rust1.6k19599489

• ejoffe/spr

  Stacked Pull Requests on GitHub

  Language:Go823316969

• starkware-libs/stone-prover

  Language:C++25792176