StarkWare Libs

Popular repositories Loading

1. cairo cairo Public

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

   Rust 1.9k 796

2. cairo-lang cairo-lang Public

   Python 1.4k 293

3. cairo-vm cairo-vm Public

   cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

   Rust 589 222

4. stwo stwo Public

   StarkWare's next gen prover

   Rust 507 183

5. papyrus papyrus Public archive

   Papyrus is a StarkNet full node written in Rust.

   Rust 322 88

6. starkex-contracts starkex-contracts Public

   Solidity 296 121