Popular repositoriesLoading

1. cairocairoPublic

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

   Rust 1.9k 739

2. cairo-langcairo-langPublic

   Python 1.4k 298

3. stwostwoPublic

   Rust 478 171

4. papyruspapyrusPublic archive

   Papyrus is a StarkNet full node written in Rust.

   Rust 322 90

5. starkex-contractsstarkex-contractsPublic

   Solidity 292 120

6. stwo-cairostwo-cairoPublic

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

   Rust 270 60

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages