evm-bend
evm-bend is Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress. - gakonst/evm-bend. It is ranked #241 on the Dev Radar, in Languages & runtimes, first seen 1 days ago and shared in 1 post (6.2k views).
What people said about evm-bend on X
@boredGenius super slop but let's see where we are tomorrow https://github.com/gakonst/evm-bend
— @gakonst, 1 days ago · 77 likes · see the post
Alternatives to evm-bend
- Probably — Introducing Probably: a programming language powered by Jev
- OpenJDK JDK 27 GA Release Builds — This article examines both
- runtime — The runtime behind every E2B stack: Cloud, Enterprise, and your own machine. - e2b-dev/runtime
- Bend — Bend: a fast language that blocks AI mistakes via proof.
- crates.io: Rust Package Registry — also now supports GPUI CE
- en.cppreference.com —
evm-bend in numbers
- Rank on the Dev Radar: #241 of 1347
- Shared in 1 post by 1 account: @gakonst
- 6.2k views on those posts
- First seen 1 days ago, last shared 1 days ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is evm-bend?
Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress. - gakonst/evm-bend It was first shared on X 1 days ago and is ranked #241 on the Dev Radar.
Is evm-bend free?
It is open source.
Who shared evm-bend?
1 account on X, including @gakonst, in 1 post totalling 6.2k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 12.2k posts from 4.7k X accounts over the last 21 days, 1.3k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 16:57 UTC. Full method.