A typescript implementation of the Cairo VM
β20Oct 7, 2024Updated 2 years ago
Alternatives and similar repositories for cairo-vm-ts
Users that are interested in cairo-vm-ts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exploratory work on abigen in rust for Starknet π¦β15Dec 17, 2023Updated 2 years ago
- Sensei MCP is a Model Context Protocol (MCP) server that provides expert guidance for Dojo and Cairo development on Starknet.β13Jun 30, 2025Updated last year
- Test runner for ethereum foundation testsβ25Feb 10, 2025Updated last year
- A virtual machine for Cairo written in Goβ85Jun 20, 2025Updated last year
- ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) β¦β15Nov 20, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Technical Documentation for Kakarot zkEVMβ11Feb 21, 2025Updated last year
- DEFLATE algorithm implemented in Cairoβ11Feb 13, 2024Updated 2 years ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wrβ¦β56Apr 30, 2024Updated 2 years ago
- A comprehensive library for Cairo πΊβ39Jan 27, 2026Updated 9 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ132Jan 8, 2025Updated last year
- Mobile OS built for Starknetβ30Jun 5, 2025Updated last year
- Forkable template to get you started with Starknet Foundry's Forgeβ15Nov 15, 2023Updated 2 years ago
- Nix overlay for Cairoβ11May 8, 2024Updated 2 years ago
- Kakarot ZK EVM Ethereum RPC adapterβ132Jan 8, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β13Jul 2, 2025Updated last year
- A collection of lints to catch common mistakes and improve your Cairo code.β32Oct 12, 2026Updated 3 weeks ago
- A Starknet toolkitβ15Mar 6, 2025Updated last year
- Security Challenges for Starknetβ11May 21, 2024Updated 2 years ago
- A set of exercises to get started with Cairo0β21Mar 26, 2025Updated last year
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.β276Updated this week
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writinβ¦β589Sep 30, 2026Updated last month
- Deck-building game on Starknetβ13Nov 12, 2025Updated 11 months ago
- A library to generate bindings from Cairo ABI.β52Feb 17, 2026Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.β20Aug 7, 2024Updated 2 years ago
- A dataframe approach to the Cairo frameworkβ16Feb 10, 2025Updated last year
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocolβ11Feb 7, 2017Updated 9 years ago
- Various forms of distribution for the Starkware Stone prover and verifierβ17Jan 15, 2025Updated last year
- A self custodial embedded account to seamlessly play onchain gamesβ80Sep 8, 2026Updated last month
- Utility features to play with EIP-4844 blobs for Starknet usage.β14May 26, 2024Updated 2 years ago
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β188Aug 10, 2025Updated last year
- β11Aug 22, 2024Updated 2 years ago
- Validator software for Starknet stakers written in Goβ15Updated this week
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The Dojo Bookβ53Jun 1, 2026Updated 5 months ago
- β10Jul 23, 2026Updated 3 months ago
- A collection of examples of Cairo smart contracts for Starknet.β146Jul 17, 2025Updated last year
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β264Mar 5, 2026Updated 8 months ago
- cairo-rs-py adds Python bindings to the cairo-rs Cairo VMβ23Jun 29, 2023Updated 3 years ago
- βοΈ Rules core smart contractsβ12Nov 24, 2023Updated 2 years ago
- Rust client library for Flashbot's mev-share.β20Apr 19, 2023Updated 3 years ago