Popular repositories Loading

1. cairo cairo Public

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

   Rust 1.9k 740

2. cairo-lang cairo-lang Public

   Python 1.4k 297

3. stwo stwo Public

   Rust 481 172

4. papyrus papyrus Public archive

   Papyrus is a StarkNet full node written in Rust.

   Rust 324 89

5. starkex-contracts starkex-contracts Public

   Solidity 293 120

6. stwo-cairo stwo-cairo Public

   Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

   Rust 273 60