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 #4575 on the Dev Radar, in Languages & runtimes, first seen 46 days ago and shared in 2 posts (21k views).
GitHub - gakonst/evm-bend: Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress. · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} gakonst / evm-bend Public Notifications You must be signed in to change notification settings Fork 2 Star 21 main Branches Tags…
Alternatives to evm-bend
- Learn Node.js — Node.js advisory
- dquickts — QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native…
- odin — A complete rewrite of parametric polymorphism onto a pure substitution engine (subst_unify -> subst_apply ->…
- djs — Contribute to earendil-works/djs development by creating an account on GitHub.
- rea-colin-mcrae-recomp — Colin McRae 1 Recomp
- Functional Programming in Lean — Functional Programming in Lean
evm-bend in numbers
- Rank on the Dev Radar: #4575 of 9158
- Shared in 2 posts by 1 account: @gakonst
- 21k views on those posts
- First seen 46 days ago, last shared 44 days ago
- Pricing seen by AGK Intelligence: 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 46 days ago and is ranked #4575 on the Dev Radar.
Is evm-bend free?
It is open source.
Who shared evm-bend?
1 account on X, including @gakonst, in 2 posts totalling 21k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.3k posts from 5k X accounts over the last 21 days, 9.2k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-03 18:17 UTC. Full method.