ziggy-starkdust

Cairo VM in Zig

An experimental implementation of a Cairo VM in Zig, enabling execution of Cairo programs.

⚡ Cairo VM in Zig ⚡

GitHub

84 stars
4 watching
39 forks
Language: Zig
last commit: about 2 years ago
Linked from 1 awesome list

cairostarknetvirtual-machinezigzig-lang

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
keep-starknet-strange/starknet-zigA Starknet-specific Zig language implementation5
keep-starknet-strange/alexandriaA collection of useful algorithms and data structures implemented in Cairo for use in software development.238
keep-starknet-strange/garagaProvides tools and libraries for efficient elliptic curve operations and SNARKS verification on the Starknet platform.210
keep-starknet-strange/satoruA synthetic platform on Starknet designed to facilitate DeFi applications112
zig-java/jazA JVM implementation in Zig.88
shramee/starklings-cairo1An interactive tutorial to get started with Cairo and Starknet programming453
starkware-libs/cairoA Rust-based language for creating provable programs with computational integrity1,630
nethermindeth/starknet.goA Golang library providing an interface to Starknet's Cairo backend and WASM frontend for easy interaction with the network153
sambarnes/cairo-multisigA multisig contract implementation in Cairo for StarkNet smart contracts.42
lambdaclass/cairo-vmAn implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.527
chaoyangnz/zavaA Java Virtual Machine implementation in Zig language9
beautyisourbusiness/cairo-goldmineA comprehensive resource for StarkNet developers and learners, providing an annotated list of repositories and tools for the ecosystem.293
zigwasm/wasmtime-zigEmbeds the Wasmtime runtime into a Zig program83
cryptonerdcn/wasm-cairoA suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.56
keep-starknet-strange/tsubasaA Starknet-based onchain game built with Dojo, leveraging Cairo and TypeScript to simulate football tactics.60