A toy Cairo VM implementation in Rust™
☆71Jun 7, 2022Updated 4 years ago
Alternatives and similar repositories for oriac
Users that are interested in oriac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆39Feb 2, 2022Updated 4 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 4 years ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆588Sep 30, 2026Updated last month
- Dungeon Crawler System☆27Jan 5, 2022Updated 4 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Foundry like framework for starknet contracts☆76Mar 9, 2023Updated 3 years ago
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Sep 15, 2022Updated 4 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated 2 years ago
- Cellular automata on replicated state machine☆26Jun 27, 2022Updated 4 years ago
- Early prototype.☆23Mar 30, 2023Updated 3 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆146Feb 14, 2025Updated last year
- Write tests in cairo-lang☆29Apr 17, 2022Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 4 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆162Jan 11, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆36Feb 8, 2022Updated 4 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 4 years ago
- Home of the Skyro compiler☆43Dec 12, 2022Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 4 years ago
- Astraly Cairo Contracts☆39Oct 19, 2022Updated 4 years ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆382Nov 19, 2024Updated last year
- ☆35Jul 8, 2022Updated 4 years ago
- ☆41Aug 31, 2023Updated 3 years ago
- Base64 encode felts☆16Oct 8, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental Contracts for Yobot☆36Feb 12, 2022Updated 4 years ago
- Lightweight Lua EVM☆58May 1, 2022Updated 4 years ago
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆58May 11, 2023Updated 3 years ago
- Fully typed access to the Erigon db in rust☆103Aug 23, 2022Updated 4 years ago
- ☆99Jun 14, 2022Updated 4 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 4 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- Cairo Language Server☆60Mar 20, 2023Updated 3 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆36Aug 22, 2021Updated 5 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 4 years ago
- Ogame implementation written in cairo☆25Dec 1, 2022Updated 3 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 4 years ago
- Tokemak vote bribing☆16Jan 29, 2022Updated 4 years ago
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 4 years ago
- ☆74Jun 10, 2022Updated 4 years ago