Popular repositories Loading

1. cairo-vm cairo-vm Public

   Forked from lambdaclass/cairo-vm

   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

2. dojo dojo Public

   Forked from dojoengine/dojo

   Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo

   Rust

3. cairo cairo Public

   Forked from starkware-libs/cairo

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

   Rust

4. zksync-era zksync-era Public

   Forked from matter-labs/zksync-era

   zkSync era

   Rust

5. avalanchego avalanchego Public

   Forked from ava-labs/avalanchego

   Go implementation of an Avalanche node.

   Go

6. avail-core avail-core Public

   Forked from availproject/avail-core

   Rust