Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.
☆21Sep 18, 2026Updated last month
Alternatives and similar repositories for evm-bend
Users that are interested in evm-bend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AMM optimized for 10,000 stablecoins in 1 pool.☆14Jun 17, 2025Updated last year
- ☆47Oct 5, 2026Updated last week
- Permutation Invariant Jev☆34Sep 28, 2026Updated 2 weeks ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- ☆13Apr 19, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A modular indexer system for EVM compatibles☆20Apr 6, 2024Updated 2 years ago
- WIP - Aptos / Movement / Sui Module Fuzzer☆16Dec 2, 2025Updated 10 months ago
- A collaborative training library☆38Jul 4, 2026Updated 3 months ago
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆19Aug 21, 2026Updated last month
- SVG versions of html-effectiveness — animated and not.☆30Jun 25, 2026Updated 3 months ago
- ☆17Apr 7, 2026Updated 6 months ago
- Token Balance Storage Slot Searcher☆15May 9, 2024Updated 2 years ago
- ☆18Feb 19, 2025Updated last year
- XML to GPUI elements☆19Mar 4, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Detecting potential sandwich attacks on Solana☆14Dec 19, 2024Updated last year
- ☆21Sep 15, 2023Updated 3 years ago
- Latent Large Language Models☆19Aug 24, 2024Updated 2 years ago
- ZKsync fork of the original Solidity compiler.☆20Dec 15, 2025Updated 10 months ago
- Procedural macro for automatically implementing metrics description and initialization.☆25Updated this week
- Zcash full node, built for scale.☆96Updated this week
- ☆43Oct 24, 2022Updated 3 years ago
- A fast, single-writer write-ahead log on Google Cloud Storage☆51Updated this week
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Aug 13, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Go with VM and JIT☆25Oct 11, 2026Updated last week
- ☆12Aug 5, 2026Updated 2 months ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Apr 25, 2025Updated last year
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆48Oct 5, 2026Updated last week
- Application-specific Ethereum state client: sync (and archive) only the state your app needs, straight from P2P. BAL-driven, verified, lo…☆70Updated this week
- Chat with your friends via Cloudflare cache hits☆104Aug 21, 2026Updated last month
- libraries for decoding/validating/transforming blockchain data in arrow format☆19Oct 29, 2025Updated 11 months ago
- ☆22Nov 4, 2025Updated 11 months ago
- The source of truth for canonical assets on Solana.☆192Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A rust wrapper for HIP☆13Jun 10, 2025Updated last year
- All we want is revm and commonware. Leave everything else at the door.☆58May 30, 2026Updated 4 months ago
- A formally verified compiler for a simple language with numbers and sums☆29Nov 29, 2020Updated 5 years ago
- Virtual wearable☆15Mar 14, 2023Updated 3 years ago
- Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…☆27Nov 11, 2024Updated last year
- This package provides a a tool that helps you run network testing against a set of source and destination resources to ensure configurati…☆17Jun 4, 2021Updated 5 years ago
- Bringing divine order to remote task execution.☆32Nov 25, 2024Updated last year