awesome-ethereum-virtual-machine
EVM implementations
A curated list of resources and implementations for the Ethereum Virtual Machine
Ethereum Virtual Machine Awesome List
844 stars
64 watching
109 forks
last commit: almost 2 years ago
Linked from 4 awesome lists
Awesome Ethereum Virtual Machine / Specification | |||
| Yellow Paper | 1,653 | about 1 year ago | |
Awesome Ethereum Virtual Machine / Illustration | |||
| A detailed illustration of the Ethereum Virtual Machine | |||
Awesome Ethereum Virtual Machine / Tutorials | |||
| CoinCulture's Guide to the EVM | 446 | over 4 years ago | |
| Diving Into The Ethereum Virtual Machine | |||
Awesome Ethereum Virtual Machine / Tests | |||
| Consensus test suite | 567 | 11 months ago | |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network | |||
| go-ethereum | 47,891 | 11 months ago | |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network / go-ethereum | |||
| core/vm | 47,891 | 11 months ago | A popular Ethereum client with its own EVM implementation ( directory) |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network | |||
| Parity | 6,828 | about 5 years ago | in Rust |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network / Parity | |||
| ethcore | 6,828 | about 5 years ago | Another popular Ethereum client with its own EVM implementation ( directory) |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network | |||
| cpp-ethereum | 3,966 | over 1 year ago | |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network / cpp-ethereum | |||
| libevm/VM.cpp | 3,966 | over 1 year ago | An Ethereum client that generates the consensus test suite ( ) |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network | |||
| Pyethereum | 2,670 | over 3 years ago | in Python |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network / Pyethereum | |||
| ethereum/vm.py | 2,670 | over 3 years ago | A mostly deprecated client ( ) |
Awesome Ethereum Virtual Machine / EVM Implementations / Live on Main Network | |||
| Py-EVM | 40 | over 3 years ago | in Python |
| EthereumJ | 2,182 | over 3 years ago | in Java |
| here | 14,742 | about 3 years ago | For more, see |
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations | |||
| SputnikVM | 280 | about 5 years ago | in Rust for Ethereum Classic |
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations / SputnikVM | |||
| a developer environment | 2 | over 6 years ago | A standalone EVM featuring , a , and for |
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations | |||
| Modeling EVM in the K framework | 509 | 11 months ago | ( ) |
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations / Modeling EVM in the K framework | |||
| K framework | An EVM implementation for | ||
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations | |||
| hevm | 114 | over 7 years ago | |
| eth-isabelle | 238 | over 3 years ago | |
| Burrow | 1,026 | over 3 years ago | |
| Ethereumjs-VM | 2,610 | 11 months ago | |
| ruby-ethereum | 267 | over 7 years ago | |
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations / ruby-ethereum | |||
| ethereum tests | 567 | 11 months ago | An EVM implementation in Ruby (passed all tests in ) |
Awesome Ethereum Virtual Machine / EVM Implementations / Other Implementations | |||
| sputter | 122 | almost 7 years ago | |
| solevm | 78 | almost 7 years ago | |
| eth-acl2 | 3 | about 3 years ago | |
| mana | 276 | over 1 year ago | |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM | |||
| Solidity | 23,537 | 11 months ago | |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM / Solidity | |||
| Awesome Solidity | 6,618 | about 1 year ago | |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM | |||
| Vyper | 4,928 | 11 months ago | |
| Pyramid Scheme | 250 | over 7 years ago | (experimental) |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM / Pyramid Scheme | |||
| SICP compilation approach | A Scheme compiler into EVM that follows the | ||
| ceagle | 4 | over 7 years ago | compiles C into Pyramid Scheme |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM | |||
| Flint | 245 | almost 3 years ago | |
| LLLL | 33 | almost 6 years ago | |
| HAseembly-evm | 66 | over 7 years ago | |
| Bamboo | 324 | over 3 years ago | (experimental) - A language without loops but with explicit constructor invocation at the end of every call |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM / Programming Languages that Compile zk-SNARK Circuits and Proofs | |||
| Zokrates | 1,836 | over 1 year ago | |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM / Programming Languages that Compile zk-SNARK Circuits and Proofs / Zokrates | |||
| a third-party tutorial | 296 | almost 7 years ago | |
Awesome Ethereum Virtual Machine / Programming Languages that Compile into EVM / Programming Languages that Compile zk-SNARK Circuits and Proofs | |||
| snarky | 498 | 11 months ago | |
| jsnark | 210 | almost 3 years ago | |
Awesome Ethereum Virtual Machine / Debuggers | |||
| REMIX | 1,178 | over 4 years ago | |
| debug_traceTransaction method | 47,891 | 11 months ago | |
| Ethereum Function Signature Database | |||
Awesome Ethereum Virtual Machine / Code Analyzers | |||
| Echidna | 2,779 | 11 months ago | |
| MAIAN | |||
| Mythril | 54 | over 1 year ago | |
Awesome Ethereum Virtual Machine / Code Analyzers / Mythril | |||
| --fire-laser option | Comes with a | ||
| laser-ethereum | 68 | over 7 years ago | Powered by |
Awesome Ethereum Virtual Machine / Code Analyzers | |||
| porosity | 927 | almost 7 years ago | |
| Manticore | 3,702 | about 2 years ago | |
Awesome Ethereum Virtual Machine / Code Analyzers / Manticore | |||
| asciicast | A symtolic execution engine that can generate inputs to cover codepaths ( ), which also comes with a Python API | ||
Awesome Ethereum Virtual Machine / Code Analyzers | |||
| evmdis | 547 | over 3 years ago | |
| ethersplay | 844 | about 2 years ago | |
Awesome Ethereum Virtual Machine / Code Analyzers / ethersplay | |||
| Binary Ninja | An EVM plugin for | ||
Awesome Ethereum Virtual Machine / Code Analyzers | |||
| Securify | |||
| Oyente | 1,321 | almost 3 years ago | |
Awesome Ethereum Virtual Machine / Code Analyzers / Oyente | |||
| Z3 | 10,452 | 11 months ago | An automatic EVM code analyzer based on symbolic execution and SMT solver |
Awesome Ethereum Virtual Machine / Code Analyzers | |||
| Dr. Y's Ethereum Contract Analyzer | |||
Awesome Ethereum Virtual Machine / Improvement Proposals | |||
| Ethereum Improvement Proposals | 13,026 | 11 months ago | |
| EVM 1.5 | 13,026 | 11 months ago | |
| eWASM | |||
Awesome Ethereum Virtual Machine / Improvement Proposals / eWASM | |||
| WebAssembly | A proposal to use a for Ethereum contract execution | ||
Awesome Ethereum Virtual Machine / Related Resources | |||
| Awesome Ethereum | |||
bayandin/awesome-awesomeness
jnv/lists
crytic/awesome-ethereum-security
0ex/more-awesome
holiman/goevmlab
nikolaydubina/fpmoney
smartcontractkit/chainlink
xiaoyao1991/presto-ethereum
obsidianlabs/black-ide
matiasinsaurralde/etherforum
celo-org/celo-blockchain
trailofbits/eth-security-toolbox
etherex/etherex
paradigmxyz/reth
cosmos/ics23