Popular repositories

1. cairo cairo Public

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

   Rust 1.4k 418

2. cairo-lang cairo-lang Public

   Python 1.3k 261

3. papyrus papyrus Public

   Papyrus is a StarkNet full node written in Rust.

   Rust 295 76

4. starkex-contracts starkex-contracts Public

   Solidity 273 104

5. ethSTARK ethSTARK Public

   C++ 221 77

6. stone-prover stone-prover Public

   C++ 221 49