awesome-ethereum-virtual-machine
by pirapira
Ethereum Virtual Machine Awesome List
AI summary
EVM implementations
A curated list of resources and implementations for the Ethereum Virtual Machine
- stars
- 844
- forks
- 109
- watching
- 64
- awesome lists
- 4
- entries
- 67
What's in the list
67 links in 41 sections, with live GitHub stats.activeno commit in 2y
Specification
Illustration
Tutorials
CoinCulture's Guide to the EVMTests
EVM Implementations / Live on Main Network
EVM Implementations / Live on Main Network / go-ethereum
core/vm
A popular Ethereum client with its own EVM implementation ( directory)
EVM Implementations / Live on Main Network
Parity
in Rust
EVM Implementations / Live on Main Network / Parity
Another popular Ethereum client with its own EVM implementation ( directory)
EVM Implementations / Live on Main Network
EVM Implementations / Live on Main Network / cpp-ethereum
An Ethereum client that generates the consensus test suite ( )
EVM Implementations / Live on Main Network
in Python
EVM Implementations / Live on Main Network / Pyethereum
A mostly deprecated client ( )
EVM Implementations / Live on Main Network
Py-EVMEVM Implementations / Other Implementations
SputnikVM
in Rust for Ethereum Classic
EVM Implementations / Other Implementations / SputnikVM
a developer environment
A standalone EVM featuring , a , and for
EVM Implementations / Other Implementations
Modeling EVM in the K frameworkEVM Implementations / Other Implementations / Modeling EVM in the K framework
- K framework
An EVM implementation for
EVM Implementations / Other Implementations
hevm
Burrow
Ethereumjs-VM
ruby-ethereumEVM Implementations / Other Implementations / ruby-ethereum
An EVM implementation in Ruby (passed all tests in )
EVM Implementations / Other Implementations
sputter
solevm
eth-acl2
manaProgramming Languages that Compile into EVM
Programming Languages that Compile into EVM / Solidity
Awesome SolidityProgramming Languages that Compile into EVM
Pyramid Scheme
(experimental)
VyperProgramming Languages that Compile into EVM / Pyramid Scheme
- SICP compilation approach
A Scheme compiler into EVM that follows the
compiles C into Pyramid Scheme
Programming Languages that Compile into EVM
(experimental) - A language without loops but with explicit constructor invocation at the end of every call
Flint
LLLL
HAseembly-evmProgramming Languages that Compile into EVM / Programming Languages that Compile zk-SNARK Circuits and Proofs
ZokratesProgramming Languages that Compile into EVM / Programming Languages that Compile zk-SNARK Circuits and Proofs / Zokrates
a third-party tutorialProgramming Languages that Compile into EVM / Programming Languages that Compile zk-SNARK Circuits and Proofs
snarky
jsnarkDebuggers
Code Analyzers
EchidnaCode Analyzers / Mythril
- --fire-laser option
Comes with a
laser-ethereum
Powered by
Code Analyzers
porosity
ManticoreCode Analyzers / Manticore
- asciicast
A symtolic execution engine that can generate inputs to cover codepaths ( ), which also comes with a Python API
Code Analyzers
evmdisCode Analyzers / ethersplay
- Binary Ninja
An EVM plugin for
Code Analyzers
OyenteCode Analyzers / Oyente
Z3
An automatic EVM code analyzer based on symbolic execution and SMT solver
Code Analyzers
Improvement Proposals
Improvement Proposals / eWASM
- WebAssembly
A proposal to use a for Ethereum contract execution
Related Resources
Nothing in this list matches your filter.
Featured in 4 awesome lists
Each link jumps to the spot where the list mentions awesome-ethereum-virtual-machine.
