Walnut
Pinned Loading
Repositories
- cairo Public Forked from starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
walnuthq/cairo’s past year of commit activity - walnut-landingpage Public
walnuthq/walnut-landingpage’s past year of commit activity - dojo Public Forked from dojoengine/dojo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
walnuthq/dojo’s past year of commit activity - starknet-foundry Public Forked from foundry-rs/starknet-foundry
Blazing fast toolkit for developing Starknet contracts.
walnuthq/starknet-foundry’s past year of commit activity - cairovm.codes Public
Source code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
walnuthq/cairovm.codes’s past year of commit activity - 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 that a certain computation was executed correctly without the need for this party to re-execute the same program.
walnuthq/cairo-vm’s past year of commit activity - blockifier Public Forked from starkware-libs/blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
walnuthq/blockifier’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…